Simon Cruanes

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

c-cube

A (parametrized) Rust SAT solver originally based on MiniSat

c-cube

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

c-cube

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

c-cube

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

c-cube

Choice operator in OCaml, providing a backtracking monad

c-cube

An in-memory datalog implementation for OCaml.

c-cube

QuickCheck inspired property-based testing for OCaml.

c-cube

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

c-cube

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

c-cube