Popular repositories Loading

1. category-theory-notes category-theory-notesPublic

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

   Lean 3

2. FRC2022 FRC2022Public

   Java 2

3. NumberBlocksGame NumberBlocksGamePublic

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

   C# 1

4. oss-hallucination-detection oss-hallucination-detectionPublic

   Hallucination detection for GPT-OSS. In progress.

   Jupyter Notebook 1

5. zevvi-compiler zevvi-compilerPublic

   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-botPublic

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

   Python 1