Popular repositories Loading

1. category-theory-notes category-theory-notes Public

   Notes for the category theory class I'm teaching at MIT (Jan 2026)

   Lean 3

2. FRC2022 FRC2022 Public

   Java 2

3. NumberBlocksGame NumberBlocksGame Public

   Like the popular game "2048" but with new modes!

   C# 1

4. oss-hallucination-detection oss-hallucination-detection Public

   Hallucination detection for GPT-OSS. In progress.

   Jupyter Notebook 1

5. zevvi-compiler zevvi-compiler Public

   A compiler for a programming language I designed. The end goal is to support arbitrary syntax modification within the language itself.

   C# 1

6. gradescope-bot gradescope-bot Public

   A Python package which can download all of your graded Gradescope submissions.

   Python 1