Lists (1)
Sort Name ascending (A-Z)
Stars
📑 PageIndex: Document Index for Vectorless, Reasoning-based RAG
Fast Gradient Boosting Decision Trees with Bit-Level Data Structures
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.
[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.
Materials for the Learn PyTorch for Deep Learning: Zero to Mastery course.
A launch point for your personal nvim configuration
A highly customizable macOS status bar replacement
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.
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



