Beast code in Giters

Carine Morel's starred repositories

An OCaml library for HTTP clients and servers using Lwt or Async

Language:OCamlNOASSERTION710 31 357

A lightweight and colourful test framework

Language:OCamlISC453 24 128

Formal verification for OCaml

Language:OCamlMIT255 8 70

Lock-free data structures for multicore OCaml

Language:OCamlISC199 6 34

A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)

Reagents for multicore OCaml

Language:OCamlISC126 21 17