profbrandon

games

typeChecker

A repository dedicated to the derivation and implementation of type systems. Current system: Extended System F

gravsim

A Newtonian gravitation simulator that I wrote back during the pandemic and never published until now.

Language-Project

mastermind

A project to make playing the game mastermind easier (I don't want to move pegs)

compilerGens

Generators for building compilers.

Homotopy-Type-Theory

Implementation of ideas in Homotopy Type Theory

lambda-calculus

A quick little lambda calculus interpreter for a presentation I gave in my advanced declarative programming class.

linear-type-theory

My first attempt (back in the summer of 2019) at understanding linear type theory. This interpreter was never quite finished, but I am definitely still interested in finishing it.

tectonics

My first attempt at a tectonic plate simulator for use in terrain generation

mandelbrot

A small old program I used to generate my computer background image

space-game

Experimenting with creating a game with an "infinitely" explorable space.

tron

I took a C class in which the professor had us write bots to compete in a Tron light cycle competition. After the class (circa 2019) I made this project to recreate the game runner.