Highlights
- Pro
Starred repositories
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 Windows inspired by i3wm.
Standalone Roblox Studio MCP Server
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
Algorithmic Information Theory, using Binary Lambda Calculus
Milvus is a high-performance, cloud-native vector database built for scalable vector ANN search
mimalloc is a compact general purpose allocator with excellent performance.
Sharp Monocular View Synthesis in Less Than a Second
A web playground for type checking, compiling, running, and inspecting Luau code.