Popular repositories Loading

1. lambda-diagrams lambda-diagrams Public

   Animations of lambda term reduction sequences

   Haskell 171 11

2. parsers parsers Public

   Parser Combinators for Dart

   Dart 23 7

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