Ace (Ajax.org Cloud9 Editor)

The Z3 Theorem Prover

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

Context sensitive completion for OCaml in Vim and Emacs

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

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

Compiler from OCaml to Javascript.

OCaml promises and concurrent I/O

The Vampire Theorem Prover

QuickCheck inspired property-based testing for OCaml.

Emacs OCaml mode

A Web Application for Learning OCaml

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

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

Testing and benchmarking tool for logic-related programs.

Javascripts stubs for the Zarith library

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

Repository for the setup of the Tezos test network infrastructure

Fractal rendering

Todo-list command-line tool + Emacs mode

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

OCamlPro public development repository for Alt-Ergo

OCamlPro public development repository for Alt-Ergo