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. lambda-calculus lambda-calculus Public

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

   Haskell

4. 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 maybe I'll get to it one day.

   Haskell

5. tectonics-2 tectonics-2 Public

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

   Java 1

6. group-theory group-theory Public

   Rocq Prover