Arlen Cox

mlbdd. A not-quite-so-simple Binary Decision Diagrams implementation for OCaml

QUICr. QUICr parametric abstract domain for sets

SETr. Abstract domain library for sets

sqlc. A super quick lambda calculus implementation

types-resources.

lyne-solver. Solver for puzzles in the Lyne game

index-sort. library to sort containers by index