OS kernel labs based on Rust/C Lang & RISC-V 64/X86-32

A modular implementation of timely dataflow in Rust

High-performance runtime for data analytics applications

An implementation of differential dataflow using timely dataflow on Rust.

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

A high-level distributed programming framework for Rust

Crucible is a library for symbolic simulation of imperative programs

an educational compiler intermediate representation

Intermediate Language (IL) for Hardware Accelerator Generators

Re-implementation of the TASO compiler using equality saturation

Rewrite Rule Inference Using Equality Saturation

A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://gussmith23.github.io/glenside-web-demo/

Phoenix dataplane system service

The Next-gen Language & Compiler Powering Efficient Hardware Design