https://github.com/mmhelloworld/hello-play-frege
Frege20
9 years ago
A simple Play application with Frege
Other
A basic web framework for Frege on top of servlet
Frege6bsd-3-clause
8 years ago
JVM bytecode back end for Idris
Idris469bsd-3-clause
15 days ago
idrisjavajvm