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

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

   Haskell

3. tectonics-2 tectonics-2 Public

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

   Java 1

4. group-theory group-theory Public

   Rocq Prover

5. html-practice-sheets html-practice-sheets Public

   JavaScript

6. BlockParty BlockParty Public

   C++