Gbury

mSAT

A modular sat/smt solver with proof output.

dolmen

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

ocaml-memgraph

A small library to output memory graph for ocaml values

archsat

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

ocaml-cgroups

OCaml interface to cgroups

format_bridge_bot_output

A WeeChat script to intercept and format messages from a bridge bot

sat-bench

A small repo to test and benchmark different sat solvers

opam-repository

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

tune

4ever

Database for dance competitions and scoring systems

advent-of-code

Advent of code solutions

benchpress

Testing and benchmarking tool for logic-related programs.

benchy

blog

dune

A composable build system for OCaml.

flambda-backend

The Flambda backend project for OCaml

flambda2-opam

OPAM packages etc. for building with the Flambda 2 compiler

linol

Wrapper around the OCaml `lsp` library to make it easier to write LSP servers

ocaml

Read-only mirror of INRIA SVN

ocaml-flint

ocaml-lsp

OCaml Language Server Protocol implementation

ocaml-memtrace

ocamlbench-repo

An opam 2.0 repository holding the definition for benches on bench.flambda.ocamlpro.com

ocamlbuild

The legacy OCamlbuild build manager

ocb

ocb (OCaml Badgen) is an OCaml library for SVG badge generation. There's also a command-line tool provided.

ocir

A small library for manipulating OCaml Inlining Reports (hence ocir)

ocp-build

See www.typerex.org to download ocp-build

pp_loc

progress

Progress bar library for OCaml

stdcompat

Stdcompat: compatibility module for OCaml standard library