SMT-based reasoning core for Lean4

Sail architecture definition language

Type-safe Tailwind CSS in OCaml - A lightweight utility-first CSS generation library with prose typography support, responsive modifiers, and minimal bundle size for js_of_ocaml.

A verified, modern, hardened memory allocator. [maintainer=@cmovcc]

A repository for learning various heap exploitation techniques.

A statistical continuous profiler for OCaml compatible with Pyroscope

https://conf.researchr.org/details/icfp-splash-2025/icfp-splash-2025-tutorials/5/A-guided-tour-through-Oxidized-OCaml

https://conf.researchr.org/details/icfp-splash-2025/icfp-splash-2025-tutorials/5/A-guided-tour-through-Oxidized-OCaml

Realtime grep for OCaml/Coq sources available on opam

Lock-free Sets and Maps for OCaml multicore

OCaml notebooks as a WebComponent

OxCaml Parallelism

Just me trying out some of the new OxCaml features and walking through the tutorials.

A simple library implementation of binary sessions

Battery notifications daemon like bato

Verification infrastructure for the Isabelle/HOL interactive proof assistant

Modern scientific computing for OCaml

Sketch.sh - Online Code Editor and ReasonML community

A tool-agnostic formal specification language for OCaml.

A beautiful, simple, clean, and responsive Jekyll theme for academics

Formal Reasoning About Programs

Separation Logic Proofs in Lean

Turso is an in-process SQL database, compatible with SQLite.

What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolation levels.

Notes on what the OCaml user experience should be like

Unison file synchronizer

The Proof-oriented Programming in F* Book