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

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

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

A language that compiles to Bash and Windows Batch

A code rewrite tool for structural search and replace that supports ~every language.

Binary Analysis Platform

Context sensitive completion for OCaml in Vim and Emacs

V2 of Real World OCaml

OCaml Language Server Protocol implementation

A fun little TUI framework for OCaml

TLS in pure OCaml

Code coverage for OCaml and ReScript

minimalistic secure XMPP client in OCaml

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

FuzzBALL: Vine-based Binary Symbolic Execution

OCaml debug adapter

✨ Zero Bullshit Git

OCaml bindings for the Neovim API

Progress bar library for OCaml

Nice parsers in OCaml without the boilerplate

Streamlining the release of dune packages to opam

Experiment on how to bootstrap the OCaml compiler

LablGTK 2 and 3: an interface to the GIMP Tool Kit

Logging infrastructure for OCaml

Various signed and unsigned integers for OCaml

Meta-preprocessor for OCaml

OCaml linter

🔨 Tool to generate OCaml projects

Verified, Incremental, Binary Editing with Synthesis

ocaml-protoc-plugin