Experimental Rust interpreter

A ~mvp~ Rust implementation of the DunMao et al breakthrough? deterministic algorithm for Single-Source Shortest Paths (SSSP) that breaks the O(m + n log n) sorting barrier on directed graphs. Base…

A menagerie of cute implementations of modern typechecking algorithms

Static Value-Flow Analysis Framework for Source Code

A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference

New register allocator designed as a successor to regalloc2

A minimal GPU design in Verilog to learn how GPUs work from the ground up

A very fast linker for Linux

Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.

A list of tutorials, paper, talks, and open-source projects for emerging compiler and architecture

Blender add-in for projecting pixel art

Rust implementations of succinct data structures

UB-free and deterministic rustc fuzzer

PtrHash minimal perfect hash function

Hardware go brrr bounded context suffix array construction algorithm

Logic programming in Rust

Assembly super-optimization via constraint solving

Tarjan's zip trees implemented in Rust

The PolymurHash universal hash function.

A parallelized Rust port of crumsort

A Rust implementation of Glidesort, my stable adaptive quicksort/mergesort hybrid sorting algorithm.

SPIR-🇹: shader-focused IR to target, transform and translate from 🦀

High fidelity benchmark runner

Execute and document benchmarks reproducibly.

Cargo subcommand for optimizing Rust binaries/libraries with PGO and BOLT.