Popular repositories Loading

1. edison edison Public

   Edison: A Library of Efficient Data Structures

   Haskell 57 9

2. shellac shellac Public

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

   Haskell 9 4

3. domains domains Public

   A formal development of constructive domain theory in Coq

   Coq 7 3

4. param-tlc param-tlc Public

   Example project demonstrating the use of the parameterized-utils library

   Haskell 6 2

5. large-gf large-gf Public

   Implementation of some fairly large finite fields

   C 4

6. lambda-shell lambda-shell Public

   A REPL for working with terms of the pure, untyped lambda calculus

   Haskell 2 1