frege-idea-plugin in sfischer13/awesome-frege

Language support for the Frege programming language in IntelliJIDEA (currently experimental)

created at Oct. 10, 2014, 11:21 a.m.

Java

7 +0

22 +0

5 +0

GitHub
frepl-gui in sfischer13/awesome-frege

GUI for the frege repl

created at Feb. 21, 2015, 1:39 a.m.

Frege

6 +0

25 +0

5 +0

GitHub