Simon Cruanes

Purely functional iterators compatible with standard `seq`.

c-cube

Commodity thread pools and concurrency primitives for OCaml 5

c-cube

generic I/O streams of bytes

c-cube

fuzzy string searching, using Levenshtein automaton. Can be used for spell-checking.

c-cube

Experimental model finder/SMT solver for functional programming.

c-cube

A simple wrapper around OCurl.

c-cube

Common interface for tracing/instrumentation libraries in OCaml

c-cube

[beta] High-level wrapper around ocaml-sqlite3

c-cube

LINQ-like combinators for manipulating collections of in-memory data

c-cube

A modular library for CDCL(T) SMT solvers, with [wip] proof generation.

c-cube