Giters
ccz181078

ccz181078

Geek Repo

20

followers

1

following

9

stars

Github PK Tool:Github PK Tool

ccz181078's repositories

busycoq

Busy Beaver deciders backed by Coq proof

License:MITStargazers:1Issues:0Issues:0

TuringMachineVisualizer

Language:C++License:MITStargazers:0Issues:0Issues:0

Coq-BB5

Language:CoqLicense:MITStargazers:154Issues:0Issues:0

ccz181078.github.io

Language:JavaScriptStargazers:0Issues:0Issues:0

googology

Language:CoqLicense:MITStargazers:0Issues:0Issues:0

Blocks

a simple 2D sandbox game

Language:JavaLicense:MITStargazers:10Issues:0Issues:0