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

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

Binary Analysis Platform

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

Context sensitive completion for OCaml in Vim and Emacs

Hardcaml is an OCaml library for designing hardware.

OCaml bindings for PyTorch

Library for binding to C libraries using pure OCaml

Writing Emacs plugin in OCaml

Another Emacs Org-mode and Markdown parser.

Hardcaml_zprize implements high performance, open source cryptographic solutions for large scale number theoretic transforms (NTT) and multi-scalar multiplications (MSM) in Hardcaml. Originally dev…

OCaml code to construct an NFA from a regular expression

Coq plugin for monomorphization and C code generation