🕳️
Highlights
- Pro
Block or Report
Block or report GenericMonkey
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
multi-poly-cats Public
Forked from maxsnew/cubical-categorical-logicMulticategories (someday Polycategories?) in Cubical Agda
Agda UpdatedJul 26, 2023 -
okra Public
Hugo Theme for my personal site. Consumed via submodule
CSS MIT License UpdatedDec 5, 2022 -
-
os Public
An implementation of an OS built from scratch, following os-tutorial
Assembly UpdatedDec 9, 2018 -
-