Pinned Loading

1. idris-jvm idris-jvm Public

   JVM bytecode back end for Idris

   Idris 482 28

2. jvm-assembler jvm-assembler Public

   JVM bytecode assembler as REST api

   Java 11

3. Frege/frege-repl Frege/frege-repl Public

   Frege REPL

   Frege 79 17

4. Frege/frege Frege/frege Public

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

   Frege 3.7k 149

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

   Frege code generator for Java classes

   Frege 17 9

6. idris-spring-boot-example idris-spring-boot-example Public

   Idris Spring Boot example

   Idris 7 2