11 open source projects by c-cube

An in-memory datalog implementation for OCaml.

QuickCheck inspired property-based testing for OCaml.

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

Simple parser for _oasis files

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

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

Simple, efficient iterators for OCaml

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

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

A (parametrized) Rust SAT solver originally based on MiniSat

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