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
Frege20other
9 years ago
JVM bytecode back end for Idris
Idris469bsd-3-clause
15 days ago
idrisjavajvm