art-w

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

sherlodoc. Fuzzy type search for OCaml documentation

sherlocode. Realtime grep for OCaml/Coq sources available on opam

unicorn. Purely functional GUI algebra

x-ocaml. OCaml notebooks as a WebComponent

mcavl. Lock-free Sets and Maps for OCaml multicore

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

ppx_shared. Interleaved client/server code extraction

granular_marshal. OCaml

rmq. Range Minimum Query algorithms

oxcaml.js.

jsoo-graphviz. OCaml

progress. Progress bar library for OCaml

so_perform_segfault. C