profbrandon Goto Github PK

compilergens

Generators for building compilers.

games

gravsim

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

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.

language-project

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.

mandelbrot

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

mastermind

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

space-game

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

tectonics

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

tectonics-2

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.

typechecker

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