Popular repositories Loading

1. Brainfuck Brainfuck Public

   A Brainfuck interpreter written in Agda

   Agda 50 4

2. xmonad xmonad Public

   xmonad in Coq

   Coq 43 6

3. predicate-transformers predicate-transformers Public

   Agda 8

4. hbral hbral Public

   Hetergeneous binary random-access lists

   Haskell 8 1

5. Bird Bird Public

   Formalization of Richard Bird's Pearls of Functional Algorithm Design

   Coq 7

6. Data.Stream Data.Stream Public

   Coprogramming with infinite lists

   Haskell 4 1