The Brick language

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

OCaml 14 0 0 0 Updated Dec 19, 2020
kiln Public
The reference compiler for the Brick language

OCaml 11 BSD-3-Clause 0 2 0 Updated Mar 31, 2019
brick Public
The Brick language spec

27 0 7 1 Updated Jan 30, 2018
acid Public
A multithreaded concurrent GC with industrial-strength object-dissolving action

C 3 MIT 1 0 0 Updated Jan 2, 2018
synchromesh Public
Software transactional memory in C

0 MIT 0 0 0 Updated Jan 2, 2018
gypsum Public
Persistent data structures in C

C 0 MIT 0 0 0 Updated Dec 20, 2017
ollvm Public
An higher-level LLVM binding for OCaml

OCaml 0 16 0 0 Updated Dec 17, 2017
brick-lang.github.io Public
The Brick github page

CSS 0 0 0 0 Updated Apr 15, 2016
linenoise-ml Public
An OCaml wrapper for Linenoise

C 4 2 0 2 Updated Sep 3, 2015
language-brick Public

CoffeeScript 0 MIT 0 0 0 Updated Jul 23, 2014

Popular repositories