Popular repositories Loading

1. Irie-lang Irie-lang Public

   Subtyping calculus of inductive constructions

   Haskell 57 2

2. lfvm-stg lfvm-stg Public

   Map lazy functional language constructs to LLVM IR

   Haskell 52 1

3. Firi-pieceset Firi-pieceset Public

   Shell 2 1

4. Conjugate-Hylomorphisms Conjugate-Hylomorphisms Public

   Recursion-schemes from adjunctions

   Haskell 1

5. lishogi lishogi Public

   Forked from WandererXII/lishogi

   ☗ lishogi.org: the forever free, adless and open source shogi server forked from lichess.org ☗

   Scala 1

6. Bistromatique-BigInt-library- Bistromatique-BigInt-library- Public

   C