Pinned Loading

1. agda/agda2lambox agda/agda2lambox Public

   Compiling Agda's internal syntax to λ-box terms.

   Haskell 9 3

2. generics generics Public

   Agda 23 6

3. jibniz jibniz Public

   A custom javascript implementation of the IBNIZ VM

   JavaScript 18 3

4. achille achille Public

   A Haskell library for building incremental static site generators

   Haskell 14