Giters
bowtochris

bowtochris

Geek Repo

1

followers

0

following

3

stars

Github PK Tool:Github PK Tool

bowtochris's repositories

CoqStuff

My Coq Stuff

Language:CoqLicense:GPL-3.0Stargazers:3Issues:0Issues:0

AoC2021

FF7: Advent Coders ~ 50 Days Over 2: Birth by Code Redux

Language:CoqLicense:CC0-1.0Stargazers:0Issues:0Issues:0

CyVerse-Challenge

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

DebateClub

A game for OCTGN about argumentation

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0