OCamlPro

dirdiff

Efficiently compute the differences between two directories

memthol

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

ocplib-json-typed

Libraries for reliable manipulation JSON objects.

mikino_bin

A simple induction and BMC engine.

ocb

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

ocp-ocamlres

A simple tool and library to embed files and directories inside an OCaml executables

opam

OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

opam-bin

Binary packages for OPAM with local and remote repositories

freeton_wallet

The 'ft' tool is a multi-account terminal wallet for the Free TON blockchain. It is based on the freeton_ocaml_sdk.

ocplib-endian

Optimised functions to read and write int16/32/64 from strings, bytes and bigarrays, based on primitives added in version 4.01.

digodoc

Dig into an opam switch for doc

matla

A manager for TLA+ projects, written in Rust.

ezjs_fetch

Bindings for Fetch

ezjs_min

A bunch of js_of_ocaml shortcuts

ez_file

Library with helpers to manipulate files, read/write their content, search directories, etc.

ez_config

Library to read/write configuration files in OCaml syntax

verification_for_dummies

Induction as a formal program verification technique for the uninitiated, written in Rust.

cargo-graph

Display a graph from the Cargo packages in a Rust project

ez_subst

Simple substitution module for OCaml

ez_text_renderer

cobol-cheat-sheets

A set of cheat-sheets for the COBOL language

mikino

A simple induction and BMC engine in Rust.

swhid_core

klee4labels

Klee for labels

opam-custom-install

An opam plugin to install a package using a custom command

alt-ergo-docker-images

Generate light alt-ergo docker images

ez_hash

ocamlpro.github.io

Github website

ProofBox

Proofbox : 2022 A tool to serve smt solvers (and some other formal verification tools) jobs

stracer

A simple tool to parse strace log files.