Popular repositories Loading

1. Brainfuck Brainfuck Public

   A Brainfuck interpreter written in Agda

   Agda 54 4

2. xmonad xmonad Public

   xmonad in Coq

   Coq 47 6

3. predicate-transformers predicate-transformers Public

   Agda 10

4. Bird Bird Public

   Formalization of Richard Bird's Pearls of Functional Algorithm Design

   Coq 7

5. hbral hbral Public

   Hetergeneous binary random-access lists

   Haskell 7 1

6. logic-notes logic-notes Public

   Lecture notes for the course on 'Logic for Computer Science' taught at Utrecht University.

   TeX 5 2