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

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 egglog rust library