Pinned Loading

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

   Software Transactional Memory for OCaml

   OCaml 141 13

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

   Interoperable effects based concurrency

   OCaml 151 12

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

   Fωμ type checker and compiler

   OCaml 58 1

4. blog blog Public

   Links to some of my publications

   39

5. Infers/Infers Infers/Infers Public

   A type-level logic programming language embedded in F#

   F# 35 6

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

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

   JavaScript 924 35