Typed Regular Expressions

Surface-Stable Fractal Dithering

UI and QoL overlay for Path of Exile 1 and 2. Emphasizes ease of use, minimalist design, and seamless integration. Formerly Lailloken UI.

Fuzzy type search for OCaml documentation

An embeddable Lua 2.5 interpreter implemented in OCaml

An awesome code differencing tool

Fast char sets

Dissect OCaml compiled programs, and weight their content

Pretty-printing for error source locations

A library for printing OCaml values with sharing

A modular library for CDCL(T) SMT solvers, with [wip] proof generation.

★ Fullfast transactional key-value memory-mapped B-Tree storage engine without WAL ★ Surpasses the legendary LMDB in terms of reliability, features and performance. ★ Used by half of Ethereum and m…

Kleene algebra modulo theories

Progress bar library for OCaml

Bindings to the Tracy profiler.

GitHub Action to compile LaTeX documents

GitHub Action to run arbitrary commands in a TeXLive environment

Counterexamples in Type Systems

A Git-based CMS for Static Site Generators

To learn about optics and microscopy, we generated a simple to build lego microscope that does not need precision optics and 3D printed parts.

An extension for Thunderbird that allows you to view threads as "real" conversations, including your own emails. This extension also adds a bunch of useful UI features in the conversation view.

CSS Typed functional interface in jsoo, bindings to inline styles and emotion

Concurrency property fuzzing tool for Lwt-based OCaml programs

Just In Time compiler for OCaml native toplevel

Style package for directly including color emojis in latex documents

ocb (OCaml Badgen) is an OCaml library for SVG badge generation. There's also a command-line tool provided.

Event-based simulation of elastic collisions between balls

Generic Programming Library for OCaml