https://github.com/mmhelloworld/idris-jvm
Idris469
28 days ago
JVM bytecode back end for Idris
BSD 3-Clause "New" or "Revised" License
A basic web framework for Frege on top of servlet
Frege6bsd-3-clause
8 years ago
A simple Play application with Frege
Frege20other
9 years ago