GenericMonkey's repositories
multi-poly-cats
Multicategories (someday Polycategories?) in Cubical Agda
Language:Agda000
okra
Hugo Theme for my personal site. Consumed via submodule
Language:CSSMIT000
cgra_scheduler
EECS 583 Final Project
Language:Python000
os
An implementation of an OS built from scratch, following os-tutorial
Language:Assembly000
GitTutorial
Tutorial for learning to add, commit, push, and pull
000
Language:TeX000