Tezos remote signer with policies, Prometheus metrics, and HSM/KMS + TEE backends (YubiHSM, CloudHSM, Nitro Enclaves, Confidential Space).

A project to provide Octez-Signer on a Raspberry Pi with encrypted key filesystem

Repository for the setup of the Tezos test network infrastructure

Todo-list command-line tool + Emacs mode

Fractal rendering

QuickCheck inspired property-based testing for OCaml.

Compiler from OCaml to Javascript.

OCaml promises and concurrent I/O

Ace (Ajax.org Cloud9 Editor)

OCamlPro public development repository for Alt-Ergo

Testing and benchmarking tool for logic-related programs.

Javascripts stubs for the Zarith library

Indentation tool for OCaml, to be used from editors like Emacs and Vim.

Emacs OCaml mode

Context sensitive completion for OCaml in Vim and Emacs

A Web Application for Learning OCaml

The Vampire Theorem Prover

The Z3 Theorem Prover

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language

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

OCamlPro public development repository for Alt-Ergo

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