Popular repositories Loading

1. GitTutorial GitTutorial Public

   Tutorial for learning to add, commit, push, and pull

2. 494Notes 494Notes Public

   TeX 5

3. os os Public

   An implementation of an OS built from scratch, following os-tutorial

   Assembly

4. cgra_scheduler cgra_scheduler Public

   EECS 583 Final Project

   Python

5. okra okra Public

   Hugo Theme for my personal site. Consumed via submodule

   CSS

6. multi-poly-cats multi-poly-cats Public

   Forked from maxsnew/cubical-categorical-logic

   Multicategories (someday Polycategories?) in Cubical Agda

   Agda