Simon Cruanes

ocaml-containers. A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.

qcheck. QuickCheck inspired property-based testing for OCaml.

datalog. An in-memory datalog implementation for OCaml.

iter. Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.

tiny_httpd. Minimal HTTP server written in direct style, with a small request router, compression, SSE, websockets.

moonpool. Commodity thread pools and concurrency primitives for OCaml 5

printbox. print nested boxes, lists, arrays, tables in several formats

gen. Simple, efficient iterators for OCaml

stimsym. [toy] A rewriting language similar to the core of Mathematica

linol. Wrapper around the OCaml `lsp` library to make it easier to write LSP servers

mc2. [research] A modular SMT solver in OCaml, based on mcSAT

batsat. A (parametrized) Rust SAT solver originally based on MiniSat

oseq. Purely functional iterators compatible with standard `seq`.

calculon. Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.

ezcurl. A simple wrapper around OCurl.

lwt-pipe. [beta] A multi-consumer, multi-producers blocking queue and stream for Lwt

cconv. [dead] combinators for type conversion (serialization/deserialization) to/from several formats. See this blog post (outdated): http://cedeela.fr/universal-serialization-and-deserialization.html

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

ocaml-iostream. generic I/O streams of bytes

choice. Choice operator in OCaml, providing a backtracking monad

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

bare-ocaml. runtime library and code-generator for BARE (https://baremessages.org/)

smbc. Experimental model finder/SMT solver for functional programming.

ocaml-avro. [DEPRECATED (use avro-simple)] Runtime library and schema compiler for the Avro serialization format.

sqlite3_utils. [beta] High-level wrapper around ocaml-sqlite3

thread-local-storage. thread-local storage for OCaml

maki. [beta] persistent memoization of computations, e.g. for repeatable tests and benchmarks

quip. [wip] Proof format and checker for first-order and higher-order theorem provers

ocaml-minisat. OCaml bindings to Minisat

nanoev. [UNSUPPORTED] nano IO event loop

ocabot. IRC bot for #ocaml@freenode

hashset_benchs. Reproducing https://www.reddit.com/r/rust/comments/4dd5yl/rust_vs_f_hashset_benchmark/

thrifty. [wip] Reimplementation of thrift in OCaml