Hayden Coffey's repositories
duck_compiler
Duck Duck Goose in Rust.
765_artifact
Data Visualization Project Code Artifacts
electrolysis
Simple verification of Rust programs via functional purification in Lean 2(!)
fait-maison-spmv
Sparse Matrix-Vector Multiplication implementations in C
gups
gups mirror
hippocrates
Automatically fixing persistency bugs in PM applications. ASPLOS '21.
ipc_testing
Testing performance of different IPC methods.
lem-in
Graph traversal project
linux
Linux kernel source tree
llvm-ir-cmake-utils
LLVM IR CMake utils for bitcode file manipulation by opt and friends
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
ram_bench
A benchmark for random memory accesses
ramulator-pim
A fast and flexible simulation infrastructure for exploring general-purpose processing-in-memory (PIM) architectures. Ramulator-PIM combines a widely-used simulator for out-of-order and in-order processors (ZSim) with Ramulator, a DRAM simulator with memory models for DDRx, LPDDRx, GDDRx, WIOx, HBMx, and HMCx. Ramulator is described in the IEEE CAL
wallpapers
Wallpapers I've collected over time.
yedPlugins
Where I ruin other people's work