Pinned Loading

1. typeChecker typeChecker Public

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

   Haskell 2

2. mastermind mastermind Public

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

   Java 1

3. tectonics tectonics Public

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

   Java

4. lambda-calculus lambda-calculus Public

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

   Haskell

5. linear-type-theory linear-type-theory Public

   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.

   Haskell

6. tectonics-2 tectonics-2 Public

   An attempt at simulating plate tectonics for semi-realistic terrain generation

   Java 1