Popular repositories Loading

1. edison edison Public

   Edison: A Library of Efficient Data Structures

   Haskell 55 9

2. shellac shellac Public

   A library for constructing read-eval-print loops in a declarative manner

   Haskell 9 5

3. domains domains Public

   A formal development of constructive domain theory in Coq

   Coq 6 2

4. param-tlc param-tlc Public

   Example project demonstrating the use of the parameterized-utils library

   Haskell 6 2

5. canonical-lf canonical-lf Public

   A Haskell implementation of LF

   Haskell 2

6. large-gf large-gf Public

   Implementation of some fairly large finite fields

   C 2