Pinned Repositories
acid
A multithreaded concurrent GC with industrial-strength object-dissolving action
brick
The Brick language spec
brick-lang.github.io
The Brick github page
gypsum
Persistent data structures in C
kekka
An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml
kiln
The reference compiler for the Brick language
language-brick
linenoise-ml
An OCaml wrapper for Linenoise
mortar
The Brick language core library
ollvm
An higher-level LLVM binding for OCaml
The Brick language's Repositories
brick-lang/brick
The Brick language spec
brick-lang/kekka
An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml
brick-lang/kiln
The reference compiler for the Brick language
brick-lang/acid
A multithreaded concurrent GC with industrial-strength object-dissolving action
brick-lang/linenoise-ml
An OCaml wrapper for Linenoise
brick-lang/brick-lang.github.io
The Brick github page
brick-lang/gypsum
Persistent data structures in C
brick-lang/language-brick
brick-lang/mortar
The Brick language core library
brick-lang/ollvm
An higher-level LLVM binding for OCaml
brick-lang/pallet
The package manager for Brick
brick-lang/synchromesh
Software transactional memory in C