Stars
C++ tensors with broadcasting and lazy computing
llama.cpp fork with additional SOTA quants and improved performance
A syntax-highlighting pager for git, diff, grep, rg --json, and blame output
Maintained - uBlock Origin filter list to hide YouTube Shorts
Formalization of exchangeability and three proofs of de Finetti's theorem in Lean 4, following Probabilistic Symmetries and Invariance Principles by Olav Kallenberg
Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving
Information hub for our project training the largest possible historical LLMs.
Automatic solver for plane geometry problems.
DuckDB is an analytical in-process SQL database management system
A collection of formalized statements of conjectures in Lean.
An egglog-compatible but faster ahead-of-time compiling e-graph engine.
C++ Library Manager for Windows, Linux, and MacOS
A fast multi-producer, multi-consumer lock-free concurrent queue for C++11
All Cursor AI's official download links for both the latest and older versions, making it easy for you to update, downgrade, and choose any version. 🚀
Roblox Foundation Model for 3D Intelligence
An extremely fast Python type checker and language server, written in Rust.
A toy compiler for NumPy array expressions that uses e-graphs and MLIR
Reverse Engineering the Abstraction and Reasoning Corpus