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

Deep learning at the speed of light.

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

Synthesizing λ-join-calculus behaviors in Z3

Inference engine for extensional untyped λ-calculus

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

Reverse Engineering the Abstraction and Reasoning Corpus

Approximate Model Counter

Graph-oriented live coding language and music/audio DSP library written in Rust

DLPrimitives/OpenCL out of tree backend for pytorch

Ascend PyTorch adapter (torch_npu). Mirror of https://gitee.com/ascend/pytorch

Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturatio…

Playing around "Less Slow" coding practices in C++ 20, C, CUDA, PTX, & Assembly, from numerics & SIMD to coroutines, ranges, exception handling, networking and user-space IO

Model Context Protocol Servers

egraphs + datalog!

A re-implementation of egglog for learning purposes.

Automatic Functional Differentiation in JAX

SGLang is a fast serving framework for large language models and vision language models.

Python bindings for the egg-smol rust library

Exocompilation for productive programming of hardware accelerators

An extremely fast Python package and project manager, written in Rust.

SMTscope automatically analyses and visualises SMT solver execution traces.

A Low Barrier Proof Assistant

egg is a flexible, high-performance e-graph library

An awesome list of e-graph resources