ocaml / ocaml
The core OCaml system: compilers, runtime system, base libraries
See what the GitHub community is most excited about today.
The core OCaml system: compilers, runtime system, base libraries
The Rocq Prover is an interactive theorem prover, or proof assistant. 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.
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
A composable build system for OCaml.
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Static analysis framework for C
The Xapi Project's XenAPI Server
magic-trace collects and displays high-resolution traces of what a process is doing
OCaml - Oxidized!
A Rust verification tool
Simple high-level language for writing Internet Computer canisters
Compiler from OCaml to Javascript.
Documentation compiler for OCaml
The Herd toolsuite to deal with .cat memory models (version 7.xx)
Test framework for OCaml
Archive for all Rocq and Coq-related opam packages organized in various repositories
Programming language for literate programming law specification
A verification toolchain for Rust programs
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
Visual Studio Code extension for Coq
KaRaMeL is a tool for extracting low-level F* programs to readable C code
Context sensitive completion for OCaml in Vim and Emacs