c-cube

datalog

An in-memory datalog implementation for OCaml.

gen

Simple, efficient iterators for OCaml

iter

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

moonpool

Commodity thread pools and concurrency primitives for OCaml 5

ocaml-containers

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

printbox

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

qcheck

QuickCheck inspired property-based testing for OCaml.

stimsym

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

tiny_httpd

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

zipperposition

An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.

c-cube/stimsym

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

c-cube/lwt-pipe

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

c-cube/choice

Choice operator in OCaml, providing a backtracking monad

c-cube/spelll

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

c-cube/smbc

Experimental model finder/SMT solver for functional programming.

c-cube/sqlite3_utils

[beta] High-level wrapper around ocaml-sqlite3

c-cube/seq

compatibility package for the standard OCaml iterator type

c-cube/batsat-ocaml

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

c-cube/ocaml-atomic

Compatibility package for the Atomic module

c-cube/andes

[toy, wip] A chain with lots of lemmas. More specifically, a logic programming engine.

c-cube/bevy

A refreshingly simple data-driven game engine built in Rust

c-cube/crystal

The Crystal Programming Language

c-cube/egui

egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native

c-cube/eio

Effects-based direct-style IO for multicore OCaml

c-cube/lwt

A cooperative threads library for OCaml.

c-cube/ocaml-interop

OCaml<->Rust FFI with an emphasis on safety.

c-cube/ocaml-protoc

A Protobuf Compiler for OCaml

c-cube/ocaml-re

Pure OCaml regular expressions, with support for Perl and POSIX-style strings

c-cube/ocaml-zmq

ZeroMQ bindings for OCaml

c-cube/ocamlverse.github.io

Documentation of everything relevant in the OCaml world

c-cube/opentelemetry.io

The OpenTelemetry website and documentation

c-cube/oteps

OpenTelemetry Enhancement Proposals

c-cube/pp_loc

c-cube/ppxlib

Base library and tools for ppx rewriters

c-cube/RFCs

Design discussions about the OCaml language

c-cube/streams-bench

Benchmarks for different streaming models: iterators, generators, sequences, transducers, etc.

c-cube/tempus-themes

[Mirror] Tempus is a collection of themes for Vim, text editors, and terminal emulators that are compliant at the very least with the WCAG AA accessibility standard for colour contrast

c-cube/yojson

JSON parsing and pretty-printing library for OCaml

c-cube/z3

The Z3 Theorem Prover

c-cube/z3-ocaml-multithread-test

reproduce issue #6160 for Z3-ocaml