Stars
UI and QoL overlay for Path of Exile 1 and 2. Emphasizes ease of use, minimalist design, and seamless integration. Formerly Lailloken UI.
An embeddable Lua 2.5 interpreter implemented in OCaml
robur-coop / modulectomy
Forked from Drup/modulectomyDissect OCaml compiled programs, and weight their content
A modular library for CDCL(T) SMT solvers, with [wip] proof generation.
One of the fastest embeddable key-value ACID database without WAL ★ MDBX surpasses the legendary LMDB in terms of reliability, features and performance ★ At the end of 2024 libmdbx was chosen by al…
GitHub Action to compile LaTeX documents
GitHub Action to run arbitrary commands in a TeXLive environment
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
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
A code rewrite tool for structural search and replace that supports ~every language.