Path of Exile UI and QoL overlay. Emphasizes ease of use, minimalist design, and seamless integration.

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.

One of the fastest embeddable key-value ACID database without WAL. libmdbx surpasses the legendary LMDB in terms of reliability, features and performance.

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

A code rewrite tool for structural search and replace that supports ~every language.

Under 1KB each! Super Tiny Icons are miniscule SVG versions of your favourite website and app logos