Repository Index

47,133 repositories indexed

Filters

Apply

Filters

Primary language

License

Total stars

Last push

Created

Health fact definitions

Archived

Clear all filters

1–2 of 2 · Most stars

rocq-community /coqoban

Coq253

Sokoban (in Coq) [maintainer=@erikmd]

coq
coq-library
puzzle

thery /T2048

a version of the 2048 game for Coq

game
2048
coq