Pinned Loading

1. ocaml-multicore/kcas ocaml-multicore/kcas Public

   Software Transactional Memory for OCaml

   OCaml 109 11

2. ocaml-multicore/picos ocaml-multicore/picos Public

   Interoperable effects based concurrency

   OCaml 94 4

3. f-omega-mu f-omega-mu Public

   Fωμ type checker and compiler

   OCaml 51 1

4. blog blog Public

   Links to some of my publications

   38

5. Infers/Infers Infers/Infers Public

   A type-level logic programming language embedded in F#

   F# 31 6

6. calmm-js/partial.lenses calmm-js/partial.lenses Public

   Partial lenses is a comprehensive, high-performance optics library for JavaScript

   JavaScript 918 36