This is a project to learn how to implement instruction dispatch in Rust.

egraphs + datalog!

😎 Curated list of awesome resources on Compilers, Interpreters and Runtimes

A music theory library in Rust for generating songs🎶

WebAssembly Composition (WAC) tooling

Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs

Command-line sampling profiler for macOS and Linux

Easy SMT solver interaction

Rust bindings to LLVM's `SanitizerCoverage` interface

Automatically delete your old tweets, except for the ones you want to keep

📖 Guides and tutorials on how to fuzz Rust code

A benchmark suite and tool to compare different implementations of the same primitives.

The WebAssembly Pre-Initializer

remarkable2 framebuffer reversing

Remy, an online&offline manager for the reMarkable tablet

Emacs client/library for the Language Server Protocol

A small malloc implementation, for use in WebAssembly

A Zettelkasten system! Or rather, some functions on top of the emacs deft package.

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

A fast Rust-based safe and thead-friendly grammar-based fuzz generator

CLI and Rust libraries for low-level manipulation of WebAssembly modules

Experimental JS parser-generator project.

An efficient, reliable parser for CommonMark, a standard dialect of Markdown

Automatic verification of LLVM optimizations

Development branch of Cranelift for new ARM64 backend

Modular register allocator algorithms

Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM

Automatic peephole optimizer for Cranelift JIT compiler

ZP7: Zach's Peppy Parallel-Prefix-Popcountin' PEXT/PDEP Polyfill

Rust library for setting up and running distributed Monte-Carlo statistical simulations. Designed primarily for lattice QCD.