Mike Vollmer's repositories
monad-tune
A monad for auto-tuning program optimizations.
Essentials-of-Compilation
A book about compiling Racket to x86-64 assembly
FizzFuseArrays
Presentation slides and example code
haskell-lockfree
A collection of different packages for CAS based data structures.
llvm-hs
Haskell bindings for LLVM
Language:LLVM000
packages-array
Mirror of packages-array repository. DO NOT SUBMIT PULL REQUESTS HERE
rust
Experimental work-in-progress port of Rust to ARM's Morello capability-enabled ARM architecture
Language:RustNOASSERTION000
sf-exercises
Working through the exercises in Software Foundations.
statistics
A fast, high quality library for computing with statistics in Haskell.
URxvt-themes
My .Xdefaults
wonks.github.io
PL Wonks website