Gbury

hmap

Heterogeneous value maps for OCaml

mold

Mold: A Modern Linker 🦠

pp_loc

Pretty-printing for error source locations

modulectomy

Dissect OCaml compiled programs, and weight their content

dolmen

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction

memthol

Memthol is a visualizer for memory profiling data generated from OCaml programs.

archsat

A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.

Path-of-Accounting

Lookup utility for Path of Exile based on pathofexile.com/trade

printbox

print nested boxes, lists, arrays, tables in several formats

strictly_tally

Implementation of relative placement tabulation for dance competitions

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

4temps-tournament

A website used to host 4temps tournaments

funarith

[wip] functorial library with classic algorithms for arithmetic

prof_spacetime

Prof. Spacetime

witan

An ocaml implementation of conflict-driven reasoning

Dedukti

Implementation of the λΠ-calculus modulo rewriting

bset

notty

Declarative terminal graphics for OCaml

calculon

Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.

mSAT

A modular sat/smt solver with proof output.

ocaml-multicore

Multicore OCaml

qcheck

QuickCheck inspired property-based testing for OCaml.

Zarith

The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.

ocaml

The core OCaml system: compilers, runtime system, base libraries

coucoubot

[private joke] IRC bot for a private channel on freenode

maki

[beta] persistent memoization of computations, e.g. for repeatable tests and benchmarks

opam-repository

Main public package repository for opam, the source package manager of OCaml.

zipperposition

An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.

ocaml-containers

A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.

france.code-civil

Le code civil français sous git