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

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

bisect_ppx

Code coverage for OCaml and ReScript

ca-certs

Detect root CA certificates from the operating system

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

inputs-outputs-R14C

test fork

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

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

ocaml-conduit

Dereference URIs into communication channels for Async or Lwt

ocaml-tls

TLS in pure OCaml

ocaml-x509

X509 (RFC5280) handling in OCaml

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