Coq-BB5. Rocq Prover
busycoq. Busy Beaver deciders backed by Coq proof
Blocks. a simple 2D sandbox game
TM. C++
