Pinned Loading

1. idris-jvm idris-jvm Public

   JVM bytecode back end for Idris

   Idris 473 26

2. Idris2-boot Idris2-boot Public

   Forked from edwinb/Idris2-boot

   A dependently typed programming language, a successor to Idris

   Idris 12 1

3. jvm-assembler jvm-assembler Public

   JVM bytecode assembler as REST api

   Java 10

4. Frege/frege-repl Frege/frege-repl Public

   Frege REPL

   Frege 78 17

5. Frege/frege Frege/frege Public

   Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.

   Frege 3.7k 146

6. Frege/frege-native-gen Frege/frege-native-gen Public

   Frege code generator for Java classes

   Frege 17 9