profbrandon
For a long time I've been interested in PL theory and how it relates to mathematics. I also like physical simulations.
Pinned Repositories
compilerGens
Generators for building compilers.
games
gravsim
A Newtonian gravitation simulator that I wrote back during the pandemic and never published until now.
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.
mastermind
A project to make playing the game mastermind easier (I don't want to move pegs)
tectonics
My first attempt at a tectonic plate simulator for use in terrain generation
tectonics-2
An attempt at simulating plate tectonics for semi-realistic terrain generation
typeChecker
A repository dedicated to the derivation and implementation of type systems. Current system: Extended System F
profbrandon's Repositories
profbrandon/games
profbrandon/typeChecker
A repository dedicated to the derivation and implementation of type systems. Current system: Extended System F
profbrandon/gravsim
A Newtonian gravitation simulator that I wrote back during the pandemic and never published until now.
profbrandon/Language-Project
profbrandon/mastermind
A project to make playing the game mastermind easier (I don't want to move pegs)
profbrandon/tectonics-2
An attempt at simulating plate tectonics for semi-realistic terrain generation
profbrandon/compilerGens
Generators for building compilers.
profbrandon/Homotopy-Type-Theory
Implementation of ideas in Homotopy Type Theory
profbrandon/lambda-calculus
A quick little lambda calculus interpreter for a presentation I gave in my advanced declarative programming class.
profbrandon/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.
profbrandon/tectonics
My first attempt at a tectonic plate simulator for use in terrain generation
profbrandon/mandelbrot
A small old program I used to generate my computer background image
profbrandon/space-game
Experimenting with creating a game with an "infinitely" explorable space.
profbrandon/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.