Starred repositories
MathCode: A Frontier Mathematical Coding Agent
Fast, accurate & comprehensive text measurement & layout
Apache Airflow - A platform to programmatically author, schedule, and monitor workflows
Open-source implementation of AlphaEvolve
PowerDNS Authoritative, PowerDNS Recursor, dnsdist
A completely decentralized alternative to the current-day web.
Your personal intelligence agent. Watches the world from multiple data sources and pings you when something changes.
A collection of optimization problems in mathematics
RandomX, KawPow, CryptoNight and GhostRider unified CPU/GPU miner and RandomX benchmark
🔍 Quick file search & app launcher for Windows with community-made plugins
GlazeWM is a tiling window manager for macOS and Windows inspired by i3wm.
A collection of formalized statements of conjectures in Lean.
Ghidra is a software reverse engineering (SRE) framework
Decompilation of The Legend of Zelda: Twilight Princess
Algorithm powering the For You feed on X
Discord Rich Presence for Folding@Home project with live GPU and Folding stats.
Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflo…
Vulkan-based implementation of D3D8, 9, 10 and 11 for Linux / Wine
OpenMM is a toolkit for molecular simulation using high performance GPU code.
A community database for the problems on the erdosproblems.com site