OCaml

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

🔎 Static code analysis engine to find security issues in code.

Mechanization toolchain for the P4 programming language

KernelScript is a modern, type-safe, domain-specific programming language for eBPF-centric kernel customization

Terrateam is open-source GitOps infrastructure orchestration. It integrates with GitHub to automate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi workflows through pull requests.

Modern scientific computing for OCaml

A verification toolchain for Rust programs

Nitrokey NetHSM system software

An SMT solver frontend for OCaml

An experimental language exploring computation and meaning through term unification, with logic-agnostic types.

magic-trace collects and displays high-resolution traces of what a process is doing

A Rust verification tool

Unison file synchronizer

A static analyzer for Java, C, C++, and Objective-C

Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig

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

Programming language for literate programming law specification

A garden of small programming language implementations 🪴

OCaml - Oxidized!

Hardcaml is an OCaml library for designing hardware.

Faster, simpler and more portable implementation of jq-inspired language in OCaml

A composable build system for OCaml.

Tidy, feature-complete Web framework

A tool-agnostic formal specification language for OCaml.

YOCaml is a static site generator, mostly written in OCaml

Smalls CLIs to get a bibtex entries from a DOI, an arXiv ID or a PubMed ID and to pretty print bibtex entries (or files)

OCaml Language Server Protocol implementation

Tools for accessing and modifying guest disk images

FUSE filesystem over Google Drive

Visual Studio Code extension for Coq

MirageOS is a library operating system that constructs unikernels

Virt-v2v converts guests from foreign hypervisors to run on KVM

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.

Visual Studio Code extension for OCaml

A library for building dynamic webapps, using Js_of_ocaml

An engine for displaying slips, the next-gen version of slides

A CI for OCaml projects

A mixture of tooling combined to produce JavaScript from OCaml & Reason

Compiler from OCaml to Javascript.

Functional Monadic Library for Ocaml

The Herd toolsuite to deal with .cat memory models (version 7.xx)

The TLA⁺ Proof Manager

Universal toplevel for OCaml

Simple high-level language for writing Internet Computer canisters

BINSEC binary-level open-source platform