c-cube

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

QuickCheck inspired property-based testing for OCaml.

An in-memory datalog implementation for OCaml.

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

Minimal HTTP server using good old threads + blocking IO, with a small request router.

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

Commodity thread pools and concurrency primitives for OCaml 5

Simple, efficient iterators for OCaml

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

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

Purely functional iterators compatible with standard `seq`.

A simple wrapper around OCurl.

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

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

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

generic I/O streams of bytes

Choice operator in OCaml, providing a backtracking monad

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

Experimental model finder/SMT solver for functional programming.

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

Runtime library and schema compiler for the Avro serialization format

thread-local storage for OCaml

[beta] High-level wrapper around ocaml-sqlite3

[alpha] lightweight fiber library for OCaml 5

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

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

bindings to gnuplot (fork of https://bitbucket.org/ogu/gnuplot-ocaml/)

Overlay over bigarrays of chars

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

[wip] A LCF-style kernel of trust intended for certified ATP and proof checking for FOL/HOL.