art-w — Vaya

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

121

sherlodoc. Fuzzy type search for OCaml documentation

90

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

90

unicorn. Purely functional GUI algebra

83

x-ocaml. OCaml notebooks as a WebComponent

55

mcavl. Lock-free Sets and Maps for OCaml multicore

37

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

33

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

17

ocaml-webdriver. Web browser remote control

16

prettree. Pretty tree layout with an applicative functor

12

ppx_shared. Interleaved client/server code extraction

12

granular_marshal. OCaml

8

rmq. Range Minimum Query algorithms

7

oxcaml.js.

2

jsoo-graphviz. OCaml

1

progress. Progress bar library for OCaml

1

so_perform_segfault. C

1