art-w

deque

Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)

sherlocode

Realtime grep for OCaml/Coq sources available on opam

sherlodoc

Fuzzy type search for OCaml documentation

gamelle

2d game engine for OCaml

varray

Resizable arrays with O(ᵏ√N) insertion and deletion (Tiered Vectors)

babiseat

add/remove for AVL, red-black, 2-3, 2-3-4 trees using GADTs

ocaml-webdriver

Web browser remote control

prettree

Pretty tree layout with an applicative functor

granular_marshal

rmq

Range Minimum Query algorithms

progress

Progress bar library for OCaml

so_perform_segfault

art-w.github.io

current-bench

Experimental benchmarking infrastructure using OCurrent pipelines

dscheck

eio

Effects-based direct-style IO for multicore OCaml

eio-rpc

A collection of opinionated libraries designed to build RPC clients and servers with eio

index

A platform-agnostic multi-level index

irmin

Irmin is a distributed database that follows the same design principles as Git

irmin-watcher

Portable implementation of the Irmin Watch API

irmin.org

Irmin website

lockfree

Lock-free data structures for multicore OCaml

ocaml-ci

A CI for OCaml projects

ocaml-cohttp

An OCaml library for HTTP clients and servers using Lwt or Async

ocaml-compiler-libs

compiler libraries repackaged

ocurrent

Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)

opam-repo-ci

An OCurrent pipeline for testing submissions to opam-repository

opam-repository

Main public package repository for opam, the source package manager of OCaml.

Tetris

Do I need to describe what Tetris is?

tezos

Mirror of the release branches for Tezos, a self-amending cryptographic ledger