Top OCaml GitHub Repositories (2026) · Open Source Projects

IRC Library for OCaml

OCaML bindings for the MiniSat satisfiability solver.

A small stack-based language written in OCaml.

A genetic algorithm for the traveling salesman problem implemented in OCaml

Implementation of the Deflate algorithm in pure OCaml

A small to-do list tracker written in OCaml.

General-purpose extensions to OCaml pattern-matching facilities

A small and generic verifier of ML's pattern-matching construct.

An encoding of the Calculus of Inductive Constructions (as implemented in Coq) in Dedukti.

A fork of Hugues Casse's frontc, an OCAML C parser and pretty-printer.

MuDDy is a ML interface to the Binary Decision Diagrams package BuDDy

An OCaml unit testing framework.

XML Parser for discrete data

Planets w/ music: I modifed planets the gravity sim to allow musical events. Currently I use csound to turn planetary motion into music.

Short, simple code to manipulate polynomials in a single variable in OCaml.

Library for solving 1-D non-linear equations in OCaml.

Branch of omake 0.9.8.5, patched to build on Mac OS X

ocaml bindings for picosat

version of the Creol interpreter for logging and symbolic execution

OCaml implementation of Packrat parser generator