Stars
Simple MPI implementation for prototyping or learning
Framework for running AI locally on mobile devices and wearables. Hardware-aware C/C++ backend with wrappers for Flutter & React Native. Kotlin & Swift coming soon.
Learn the basics of robotics through hands-on experience using ROS 2 and Gazebo simulation.
Open-source implementation of AlphaEvolve
A framework for standardizing evaluations of large foundation models, beyond single-score reporting and rankings.
Factorio overhaul mod with a focus on logistic and automation challenges
Lean theorem proving interface which feels like pen-and-paper proofs.
SorryDB indexes sorries in public lean repositories
Attention Kernels for Symmetric Power Transformers
Agent S: an open agentic framework that uses computers like a human
Here we give programs that check if Turing machines halt or not.
Mathematical proofs of the bbchallenge project.
FULL v0, Cursor, Manus, Same.dev, Lovable, Devin, Replit Agent, Windsurf Agent, VSCode Agent, Dia Browser & Trae AI (And other Open Sourced) System Prompts, Tools & AI Models.
SYSTEM PROMPT TRANSPARENCY FOR ALL - CHATGPT, GEMINI, GROK, CLAUDE, PERPLEXITY, CURSOR, WINDSURF, DEVIN, REPLIT, AND MORE!
Implement a ChatGPT-like LLM in PyTorch from scratch, step by step
A course of LLM inference serving on Apple Silicon for systems engineers.
A Distributed Attention Towards Linear Scalability for Ultra-Long Context, Heterogeneous Data Training
MAGI-1: Autoregressive Video Generation at Scale
Whiteboard as an IDE, draw and code in your browser
Lightweight coding agent that runs in your terminal
DaD's a pretty good keypoint detector, probably the best.
Official implementation of TrajectoryCrafter: Redirecting Camera Trajectory for Monocular Videos via Diffusion Models