All Git Users → mmhelloworld

2 open source projects by mmhelloworld

[ Open user page on Github ]

JVM bytecode back end for Idris

✭ 317

2. hello-play-frege

A simple Play application with Frege

✭ 19

Frege java scala HTML javascript

1-2 of 2 user projects