Pinned Repositories
TierPaxos
Scalable Architecture for SMR Protocols
494Notes
cgra_scheduler
EECS 583 Final Project
GitTutorial
Tutorial for learning to add, commit, push, and pull
multi-poly-cats
Multicategories (someday Polycategories?) in Cubical Agda
okra
Hugo Theme for my personal site. Consumed via submodule
os
An implementation of an OS built from scratch, following os-tutorial
cubical-categorical-logic
Extensions to the cubical stdlib category theory for categorical logic/type theory
verus
Verified Rust for low-level systems code
verified-betrfs
A verified high-performance file system
GenericMonkey's Repositories
GenericMonkey/494Notes
GenericMonkey/cgra_scheduler
EECS 583 Final Project
GenericMonkey/GitTutorial
Tutorial for learning to add, commit, push, and pull
GenericMonkey/multi-poly-cats
Multicategories (someday Polycategories?) in Cubical Agda
GenericMonkey/okra
Hugo Theme for my personal site. Consumed via submodule
GenericMonkey/os
An implementation of an OS built from scratch, following os-tutorial