Skip to content

Popular repositories Loading

  1. brick brick Public

    The Brick language spec

    31

  2. kekka kekka Public

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

    OCaml 14

  3. kiln kiln Public

    The reference compiler for the Brick language

    OCaml 12

  4. acid acid Public

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

    C 5

  5. linenoise-ml linenoise-ml Public

    An OCaml wrapper for Linenoise

    C 4 2

  6. mortar mortar Public

    The Brick language core library

Repositories

Showing 10 of 12 repositories
  • kekka Public

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

    brick-lang/kekka’s past year of commit activity
    OCaml 14 0 0 0 Updated Dec 19, 2020
  • kiln Public

    The reference compiler for the Brick language

    brick-lang/kiln’s past year of commit activity
    OCaml 12 BSD-3-Clause 0 2 0 Updated Mar 31, 2019
  • brick Public

    The Brick language spec

    brick-lang/brick’s past year of commit activity
    31 NCSA 0 7 0 Updated Jan 30, 2018
  • acid Public

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

    brick-lang/acid’s past year of commit activity
    C 5 MIT 0 0 0 Updated Jan 2, 2018
  • synchromesh Public

    Software transactional memory in C

    brick-lang/synchromesh’s past year of commit activity
    0 MIT 0 0 0 Updated Jan 2, 2018
  • gypsum Public

    Persistent data structures in C

    brick-lang/gypsum’s past year of commit activity
    C 0 MIT 0 0 0 Updated Dec 20, 2017
  • ollvm Public Forked from OCamlPro/ollvm

    An higher-level LLVM binding for OCaml

    brick-lang/ollvm’s past year of commit activity
    OCaml 0 19 0 0 Updated Dec 17, 2017
  • brick-lang.github.io Public

    The Brick github page

    brick-lang/brick-lang.github.io’s past year of commit activity
    CSS 0 0 0 0 Updated Apr 15, 2016
  • linenoise-ml Public

    An OCaml wrapper for Linenoise

    brick-lang/linenoise-ml’s past year of commit activity
    C 4 2 0 2 Updated Sep 3, 2015
  • brick-lang/language-brick’s past year of commit activity
    CoffeeScript 0 MIT 0 0 0 Updated Jul 23, 2014

Top languages

Loading…

Most used topics

Loading…