Pinned Loading

1. anima anima Public

   A simple dependently-typed programming language

   Haskell 5 2

2. cooper cooper Public

   Presburger arithmetic solver in Idris

   Idris 5 2

3. sheaf sheaf Public

   scheme os

   C 3

4. b b Public

   A compiler for the B programming language

   Haskell 1

5. orchard orchard Public

   gameboy emulator for the nintendo ds

   C