The Brick language

The Brick language's repositories

The Brick language spec

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

Language:OCamlNOASSERTION14 20

The reference compiler for the Brick language

Language:OCamlBSD-3-Clause12 8 7

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

Language:CMIT5 10

An OCaml wrapper for Linenoise

Language:C4 30

The Brick github page

Language:CSS010

Persistent data structures in C

Language:CMIT010

Language:CoffeeScriptMIT010

The Brick language core library

010

An higher-level LLVM binding for OCaml

Language:OCamlNOASSERTION010

The package manager for Brick

BSD-3-Clause01 1

Software transactional memory in C

MIT010