T2048
2048 game
A Coq implementation of the 2048 game
a version of the 2048 game for Coq
22 stars
2 watching
1 forks
Language: Coq
last commit: about 1 year ago
Linked from 2 awesome lists
2048coqgame
coq-community/awesome-coq
uhub/awesome-coqRelated projects:
| Repository | Description | Stars |
|---|---|---|
 taw/imba-2048 | An implementation of the popular 2048 game in the Imba programming language. | 7 |
 lexmag/tty2048 | A terminal-based implementation of the 2048 game in Elixir | 155 |
 chesterbr/2048-2600 | A port of the popular puzzle game to the Atari 2600 console | 68 |
 mgrojo/play_2048 | A 2048 game implementation with customizable themes, board sizes, and features like saving state and undoing moves. | 4 |
 gregorulm/h2048 | An implementation of the game 2048 in Haskell with basic logic and console UI. | 89 |
 wenxuanjun/2048 | An implementation of the 2048 game using AI algorithms | 2 |
 themattrix/sed2048 | An implementation of the popular puzzle game 2048 using sed scripting language | 107 |
 gd4ark/2048 | A 2048 game built using JavaScript | 96 |
 uncomputable/natural-number-game | Reimplementation of the Natural Number Game in Coq | 6 |
| thery/flocqlecture | An introductory course on formalizing floating-point numbers and their applications in Coq | 6 |
 kshitij-banerjee/cubiks-2048 | A 2048 game written in JavaScript where cubes with the same number merge upon collision. | 25 |
 sanqui/2048-gb | A port of the popular number-matching game 2048 to the Gameboy and SMS platforms. | 112 |
 jeffhou/hex-2048 | A Hexagon-based implementation of the popular number-matching game | 15 |
 alewmoose/2048-in-terminal | A terminal-based implementation of the popular 2048 game | 149 |
 bfontaine/term2048 | A terminal-based implementation of the popular number-summing game 2048 | 805 |