C++ tensors with broadcasting and lazy computing

Python wrapper for nuts-rs

llama.cpp fork with additional SOTA quants and improved performance

Play/learn/work with me

Lightweight argument parsing for Python

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.

Haskell implemented with combinators

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.

Fast Hilbert Curves

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. 🚀

A formalization of ML kernel languages

The math library of Lean 4

Direct File

Roblox Foundation Model for 3D Intelligence

Inference at the speed of light.

An extremely fast Python type checker and language server, written in Rust.

Synthesizing λ-join-calculus behaviors in Z3

A toy compiler for NumPy array expressions that uses e-graphs and MLIR

Reverse Engineering the Abstraction and Reasoning Corpus

Approximate Model Counter