profbrandon/group-theory

Language: Rocq Prover - Size: 10.7 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

profbrandon/tectonics-2

Language: Java - Size: 259 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0

profbrandon/mastermind

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

Language: Java - Size: 14.6 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

profbrandon/typeChecker

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

Language: Haskell - Size: 29.5 MB - Last synced at: over 2 years ago - Pushed at: almost 8 years ago - Stars: 2 - Forks: 0

profbrandon/games

Language: HTML - Size: 23.4 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0

profbrandon/DRU

The Directory Rundown Utility

Language: Haskell - Size: 14.6 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

profbrandon/Language-Project

Language: Assembly - Size: 4.88 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

profbrandon/Homotopy-Type-Theory

Implementation of ideas in Homotopy Type Theory

Language: Haskell - Size: 4.75 MB - Last synced at: over 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

profbrandon/compilerGens

Generators for building compilers.

Language: Haskell - Size: 2.42 MB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0