Popular repositories Loading

1. Brainfuck Brainfuck Public

   A Brainfuck interpreter written in Agda

   Agda 53 4

2. xmonad xmonad Public

   xmonad in Coq

   Coq 46 6

3. predicate-transformers predicate-transformers Public

   Agda 10

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. agda2hs-cabal agda2hs-cabal Public

   Example project showing how to integrate agda2hs as preprocessor using Cabal

   Haskell 5