Popular repositories Loading

1. Irie-lang Irie-lang Public

   Subtyping calculus of inductive constructions

   Haskell 60 2

2. lfvm-stg lfvm-stg Public

   Map lazy functional language constructs to LLVM IR

   Haskell 54 1

3. Firi-pieceset Firi-pieceset Public

   Shell 3 1

4. Conjugate-Hylomorphisms Conjugate-Hylomorphisms Public

   Recursion-schemes from adjunctions

   Haskell 2

5. disassembler disassembler Public

   Forked from mgrabmueller/disassembler

   Disassembler for X86 & AMD64 machine code

   Haskell 1

6. apropos apropos Public

   Forked from mlabs-haskell/apropos

   Propositional Logic Apropos Types

   Haskell 1