T2048
by thery
a version of the 2048 game for Coq
AI summary
2048 game
A Coq implementation of the 2048 game
- stars
- 22
- forks
- 1
- watching
- 2
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
2048 game
An implementation of the popular 2048 game in the Imba programming language.
2048 game
A terminal-based implementation of the 2048 game in Elixir
Atari 2048 game
A port of the popular puzzle game to the Atari 2600 console
2048 game
A 2048 game implementation with customizable themes, board sizes, and features like saving state and undoing moves.
Game
An implementation of the game 2048 in Haskell with basic logic and console UI.
2048 game
An implementation of the 2048 game using AI algorithms
Puzzle Game
An implementation of the popular puzzle game 2048 using sed scripting language
2048 game
A 2048 game built using JavaScript
Number game
Reimplementation of the Natural Number Game in Coq
Formal Proof Lecture
An introductory course on floating-point numbers and formal proof using Coq
2048 game
A 2048 game written in JavaScript where cubes with the same number merge upon collision.
Game console port
A port of the popular number-matching game 2048 to the Gameboy and SMS platforms.
Game
A Hexagon-based implementation of the popular number-matching game
Game
A terminal-based implementation of the popular 2048 game
Game
A terminal-based implementation of the popular number-summing game 2048
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions T2048.
