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.

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

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

Simple, efficient iterators for OCaml

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

Purely functional iterators compatible with standard `seq`.

[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

Experimental model finder/SMT solver for functional programming.

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

Choice operator in OCaml, providing a backtracking monad

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

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

Runtime library and schema compiler for the Avro serialization format

[beta] High-level wrapper around ocaml-sqlite3

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

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

A simple wrapper around OCurl.

Overlay over bigarrays of chars

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

compatibility package for the standard OCaml iterator type

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

[unfinished] Jsonrpc2 for OCaml, parametrized by the underlying IO.

OCaml bindings for batsat (https://github.com/c-cube/batsat)

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

Simple bindings to Minisat-C