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

Performant type-checking for python.

Tools for code analysis, visualizations, or style-preserving source transformation.

Programming language for literate programming law specification

A composable build system for OCaml.

Context sensitive completion for OCaml in Vim and Emacs

A functional programming language based on algebraic effect handlers

OCaml Language Server Protocol implementation

Auto-formatter for OCaml code

Type-driven code generation for OCaml

A verification toolchain for Rust programs

A modern supercompiler for call-by-value functional languages

Visual Studio Code extension for Coq

Adds Reason to the browser

Proof assistant based on the λΠ-calculus modulo rewriting

OCaml bindings for TensorFlow

A proof assistant for higher-dimensional type theory

Hygienic typed literal macros (TLMs) for Reason

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

EGraphs in OCaml

🩺 A library for compiler diagnostics

zsh script profiling

Tools to manipulate source files (linting, patching, etc.)