Popular repositories Loading

1. brick brick Public

   The Brick language spec

   30 1

2. kekka kekka Public

   An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml

   OCaml 14

3. kiln kiln Public

   The reference compiler for the Brick language

   OCaml 12

4. acid acid Public

   A multithreaded concurrent GC with industrial-strength object-dissolving action

   C 6

5. linenoise-ml linenoise-ml Public

   An OCaml wrapper for Linenoise

   C 4 2

6. mortar mortar Public

   The Brick language core library