brick-lang

There are 0 repository under brick-lang topic.

brick-lang / kekka
An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml
lambda-k ocaml brick-lang type-system type-checking experimental
Language:OCaml 14
brick-lang / kiln
The reference compiler for the Brick language
brick-lang ocaml kiln jit-interpreter compiler functional-languages
Language:OCaml 12
brick-lang / gypsum
Persistent data structures in C
persistent-data-structure brick-lang data-structures
Language:C 0

brick-lang / kekka