A Scala equality saturation library

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

An interactive Datalog

Domain-specific language for IIR filters

An interpreter for Rust's mid-level intermediate representation

Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving

Intermediate Language (IL) for Hardware Accelerator Generators

Command-line sampling profiler for macOS, Linux, and Windows

The Feldera Incremental Computation Engine

An easy-to-learn/use static analysis framework for Java

OCaml - Oxidized!

A list of awesome compiler projects and papers for tensor computation and deep learning.

mimalloc is a compact general purpose allocator with excellent performance.

Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you don’t have to.

A modern Prolog implementation written mostly in Rust.

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

Domain-specific language designed to streamline the development of high-performance GPU/CPU/Accelerators kernels

Sparse and Structured Tensor Compiler

FlashInfer: Kernel Library for LLM Serving

Making it easier to work with shaders

A Rust framework for correct and performant distributed systems

ClickBench: a Benchmark For Analytical Databases

Python bindings for the egglog rust library

Generate and Visualize E-Graph Statistics