pierwill

Technical researcher, writer, and programmer

♄

Pinned Repositories

flux-redex
Experimental PLT Redex model of the Flux language
Language:Racket2 2 130
gaussiant
Gaussian integers in Rust.
Language:Rust1 3 131
prt
Pull request tool for my work team
Language:Rust1 3 10
rust
Empowering everyone to build reliable and efficient software.
Language:Rust98.9k 1.5k 55.4k12.8k
rustc-dev-guide
A guide to how rustc works and how to contribute to it.
Language:HTML1.7k 42 456515

pierwill's Repositories

pierwill/cargo-incremental
A fuzzing tool for incremental compilation that walks git history
pierwill/polonius
Defines the Rust borrow checker.
pierwill/qubes-core-qrexec
Language:Python2 0
pierwill/rust-redex
A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety
Language:Racket1 0
pierwill/securedrop-workstation-docs
User documentation for the SecureDrop Workstation
Language:Makefile2 0
pierwill/sensehat-rs
Rust support for the Raspberry Pi Sense Hat
Language:Rust2 0
pierwill/ssn2018aarhus
Language:CSS3 0