Repositories list

• kekka

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

  experimentaltype-checkingtype-system+ 3brick-langlambda-kocaml

  OCaml

  •

  Other

  •0•14•0•0•Updated Dec 19, 2020Dec 19, 2020

• kiln

  Public
  The reference compiler for the Brick language

  compilerfunctional-languagesbrick-lang+ 3ocamlkilnjit-interpreter

  OCaml

  •

  BSD 3-Clause "New" or "Revised" License

  •0•12•2•0•Updated Mar 31, 2019Mar 31, 2019

• brick

  Public
  The Brick language spec

  University of Illinois/NCSA Open Source License

  •0•31•7•0•Updated Jan 30, 2018Jan 30, 2018

• acid

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

  concurrencymultithreadinggarbage-collector+ 4garbage-collectionc11reference-countingacid

  C

  •

  MIT License

  •0•5•0•0•Updated Jan 2, 2018Jan 2, 2018

• synchromesh

  Public
  Software transactional memory in C

  MIT License

  •0•0•0•0•Updated Jan 2, 2018Jan 2, 2018

• gypsum

  Public
  Persistent data structures in C

  data-structurespersistent-data-structurebrick-lang

  C

  •

  MIT License

  •0•0•0•0•Updated Dec 20, 2017Dec 20, 2017

• ollvm

  Public
  An higher-level LLVM binding for OCaml

  OCaml

  •

  Other

  •19•0•0•0•Updated Dec 17, 2017Dec 17, 2017

• brick-lang.github.io

  Public
  The Brick github page

  CSS

  •0•0•0•0•Updated Apr 15, 2016Apr 15, 2016

• linenoise-ml

  Public
  An OCaml wrapper for Linenoise

  C

  •2•4•0•2•Updated Sep 3, 2015Sep 3, 2015

• language-brick

  Public
  CoffeeScript

  •

  MIT License

  •0•0•0•0•Updated Jul 23, 2014Jul 23, 2014

• mortar

  Public
  The Brick language core library

  0•0•0•0•Updated Jul 16, 2014Jul 16, 2014

• pallet

  Public
  The package manager for Brick

  BSD 3-Clause "New" or "Revised" License

  •0•0•1•0•Updated Mar 10, 2014Mar 10, 2014