Skip to content
View GenericMonkey's full-sized avatar
🕳️
🕳️

Highlights

  • Pro

Block or report GenericMonkey

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

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