Popular repositories Loading

1. generic generic Public

   Generic Programming Library for OCaml

   OCaml 34 4

2. ag-a-la-carte ag-a-la-carte Public

   A modular attribute grammar embedded system in Haskell

   Haskell 1

3. ag-zipper ag-zipper Public

   Experiments in Haskell to define recursive functions on zippers following the attribute grammar approach.

   Haskell 1

4. thesis thesis Public

   My PhD thesis and the accompanying programs

   Haskell

5. lambda-coinduction lambda-coinduction Public

   A Haskell library for writing productive definitions

   Haskell

6. Safe-AG Safe-AG Public

   Safe and Lightweight Attribute Grammars for Haskell

   Haskell