Popular repositories Loading

1. compdata compdata Public

   Haskell library implementing "Data Types a la Carte"

   Haskell 92 27

2. calc-comp calc-comp Public

   Coq proofs for the paper "Calculating Correct Compilers"

   Coq 31 2

3. Rattus Rattus Public

   A modal FRP language embedded in Haskell.

   Haskell 14 3

4. McCarthy-Painter McCarthy-Painter Public

   Coq proof for the paper "Compiling a Fifty Year Journey"

   Coq 13 1

5. equivalence equivalence Public

   Haskell 13 5

6. AsyncRattus AsyncRattus Public

   Haskell 13 2