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