Pinned Repositories
AoC2021
FF7: Advent Coders ~ 50 Days Over 2: Birth by Code Redux
CoqStuff
My Coq Stuff
CyVerse-Challenge
DebateClub
A game for OCTGN about argumentation
bowtochris's Repositories
bowtochris/CoqStuff
My Coq Stuff
bowtochris/AoC2021
FF7: Advent Coders ~ 50 Days Over 2: Birth by Code Redux
bowtochris/CyVerse-Challenge
bowtochris/DebateClub
A game for OCTGN about argumentation