GitHub repository: Frege/frege-repl
Primary language: Frege
Description: Frege REPL