CS6868: Concurrent Programming

A Copilot-CLI Plugin for F* and Related Tools

Summary of the BRASS program

Verified garbage collectors in Pulse

Learn cryptography with formal proofs

DevContainer OCaml development environment for VS Code, Codespaces, and any editor

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

A set of cryptographic proofs for simple protocols, to be formalised in various tools.

Static analysis framework for C

Multimodal verification of Replicated Data Types in Lean

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