📑 PageIndex: Document Index for Vectorless, Reasoning-based RAG

Fast Gradient Boosting Decision Trees with Bit-Level Data Structures

GNU Linear Programming Kit

Research prototype tool for modular formal verification of C, Rust and Java programs

Automatic tiling window manager for macOS à la xmonad.

A curated collection of resources for the Boolean Satisfiability Problem (SAT).

APALACHE: symbolic model checker for TLA+ and Quint

Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.

The Chuffed CP solver

[EMNLP2025] "LightRAG: Simple and Fast Retrieval-Augmented Generation"

[MLsys2026]: RAG on Everything with LEANN. Enjoy 97% storage savings while running a fast, accurate, and 100% private RAG application on your personal device.

The smartest way to learn touch typing and improve your typing speed.

An extension for GNOME which fetches the Luxembougish word of the day from lod.lu and displays it along with translations on your desktop wallpaper.

Beautiful, Modern & Opinionated Linux

Materials for the Learn PyTorch for Deep Learning: Zero to Mastery course.

A post-modern modal text editor.

A launch point for your personal nvim configuration

Read e-books in style

A highly customizable macOS status bar replacement

Truly independent web browser

A collection of inspiring lists, manuals, cheatsheets, blogs, hacks, one-liners, cli/web tools and more.

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

100+ AI Agent & RAG apps you can actually run — clone, customize, ship.

Explain complex systems using visuals and simple terms. Help you prepare for system design interviews.

CLI to manage emails

Get your documents ready for gen AI

Resources for learning C that are the best in my opinion.

Collection of Rust Books in PDF format.

A good looking terminal emulator which mimics the old cathode display...

Code for my talks on the No Boilerplate channel