https://github.com/mmhelloworld/fregelet
Frege6
8 years ago
A basic web framework for Frege on top of servlet
BSD 3-Clause "New" or "Revised" License
A simple Play application with Frege
Frege19other
JVM bytecode back end for Idris
Idris455bsd-3-clause
5 months ago
idrisjavajvm