Popular repositories Loading

1. lambda-diagrams lambda-diagrams Public

   Animations of lambda term reduction sequences

   Haskell 89 5

2. parsers parsers Public

   Parser Combinators for Dart

   Dart 23 10

3. persistent persistent Public

   Efficient Persistent Data Structures for Dart

   Dart 21 13

4. propcheck propcheck Public

   Exhaustive and randomized testing of Dart properties

   Dart 13 5

5. defunc defunc Public

   Program transformations à la Danvy et al.

   Haskell 9 1

6. haltavista haltavista Public

   search for haskell functions in libraries by providing input/output examples

   Haskell 8 1