https://github.com/Dierk/frege-idea-plugin
Java22
9 years ago
Language support for the Frege programming language in IntelliJIDEA (currently experimental)
GUI for the frege repl
Frege25apache-2.0
8 years ago