brick-lang

There are 3 repositories under brick-lang topic.

brick-lang/kekka
An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml
Language:OCaml14 2 00
brick-lang/kiln
The reference compiler for the Brick language
Language:OCaml12 8 70
brick-lang/gypsum
Persistent data structures in C
Language:C0 1 00