Theorem Cards
Learn to prove theorems by playing cards. The more you play, the easier it gets.
The top results based on the latest update are NAND² [Score: 1.1], Minimal Crypt [Score: 1.0] and Senalux [Score: 1.0] The top rated games you can find here are Baba Is You [SteamPeek Rating: 9.9] ranked #7, SHENZHEN I/O [SteamPeek Rating: 8.0] ranked #21 and Human Resource Machine [SteamPeek Rating: 7.9] ranked #10 Also don't forget to check the newest releases U.V.S. Nirmana [Release date: 2026-05-04] ranked #14, POKER TETRIX [Release date: 2026-03-12] ranked #9 and ZERO_FILL [Release date: 2026-03-06] ranked #35 While it is tempting to play with the newest and the best, there might be some other gems in the results, like U.V.S. Nirmana [SteamPeek Rating: 4.7] ranked #14, Sokobond [SteamPeek Rating: 6.1] ranked #17 and SHENZHEN I/O [SteamPeek Rating: 8.0] ranked #21.
Learn to prove theorems by playing cards. The more you play, the easier it gets.
Build a computer from a single NAND gate, together: online co-op for up to 4 players on one board. Wire relays into logic, memory and a 16-bit CPU with a pipeline and a cache, then program it. Robots in mazes, Nim, even a shooter on your own CPU. Level editor and Steam Workshop.
Discover the simple yet intricate rules of Minimal Crypt through 60+ handcrafted puzzling levels of ever increasing difficulty! Create your own levels in the in-game editor and share them with the community to push the experience further.
Senalux is a hex-based puzzle game about optics where you solve challenging puzzles with colorful lasers. Use the red, green and blue lasers, combine them to the right color and illuminate the target.
Zachtronics is back with an ambitious new design-based puzzle game. Take on the role of a Reactor Engineer working for SpaceChem, the leading chemical synthesizer for frontier colonies. Construct elaborate factories to transform raw materials into valuable chemical products!
A arithmetic game, let you play at the same time exercise arithmetic reaction ability. Just put the arithmetic symbol under the two numbers to calculate the result. You need to quickly and cleverly place the arithmetic symbols according to the scene.
One Line is a minimalist puzzle game where the objective is to draw a single line filling the entire board. Different mechanics will challenge your mind in this game that is easy to learn but hard to solve. Can you find the correct path?
Baba Is You is a puzzle game where the rules you have to follow are present as blocks you can interact with. By manipulating them, you can change how the game works, repurpose things you find in the levels and cause surprising interactions!
Odd||Even is a math and logic based, integer placement puzzle game.
Forget the prejudice that poker is all about luck! POKER TETRIX is a completely new breed of poker game with deep puzzle strategy. There’s no need to wait for a dealer to hand you a lucky card. Every card is already laid out before you—the strength is entirely in your own hands.
Program little office workers to solve puzzles. Be a good employee! The machines are coming... for your job. From the creators of World of Goo and Little Inferno.
A minimalistic zen puzzle game where players learn the rules without instruction.
OCTOPTICOM is an open-ended puzzle programming game about designing and optimizing optical computing devices. Use lasers, mirrors, filters and other components to read, transform and write sequences of colored squares.
You have just received a coded love letter! In this minimalist puzzle, you will have to draw a single line to fill the entire board. At each level solved, get a code to reveal a piece of the letter. Gather the codes, read the letter and discover the message.
U.V.S. Nirmana is a engineering puzzle game from Coincidence, the creators of Kaizen: A Factory Story and the inventors of the Zach-like. Set off on the Unreturning Void Ship Nirmana as it continues a journey of uncountable eons toward the edge of the universe.
Sokoban style quantum puzzle game. Make your way through many variations of one level at once using one sequence of moves!
Sokogeek is a block-pushing logic game with electrifying mechanics. Help Flux, a robot vacuum cleaner, escape each level by building the energy circuit that powers the exit. The complexity of the puzzles will test your spatial awareness, abstract thinking, and analytical skills to their limits.
Relaxing minimalistic puzzle game based on contemplative probabilities, pattern recognition, and critical thinking.
Liquidum is an aquatic logic puzzle game, where you strategically fill interconnected aquariums across six challenging sections with unique mechanics.
Oberty is mind-bending puzzle about combining shapes.
BUILD CIRCUITS. WRITE CODE. RTFM.
Hex-a-Decimal is an automation puzzle game on a hexagon grid. Set up lines of conveyors, pausers, sensors, and various other components to get signals to where they need to go. It's a challenging game that anyone can pick up, but the question is: how far will YOUR puzzle solving skills take you?
Kaizen is an open-ended puzzle automation game from the original Zachtronics team, set in 1980s Japan. Design, build, and optimize production lines to create iconic products, like calculators, camcorders, and arcade machines.
MATH HERO is a relaxing puzzle game with simple mechanics.Use simple addition and subtraction operations to reach the endpoint.
Underground Keeper 2 is a logical 3D puzzle game from a first person view. You will enjoy hours of entertainment in a 60 levels and 5 different environments. Levels generator included.
Move Together! is a puzzle game with a clean, simple style. Every move affects all of the little friends at once. Observe how they influence one another, plan each step, solve evolving challenges, and help everyone reach the goal together.
Mathematic Ultra - is both simple and complex challenges!
A variant of the classic game Minesweeper on an irregular grid, where each tile can have between 6 and 10 neighbors, leading to more challenging and mind-bending levels.
CIPHERCELL is a minimalist logic puzzle game where you slide cells together to perform arithmetic, with the objective of getting the last cell to zero.
Minesweeper, but you only solve each situation once.
Develop magical programming abilities while building spells. Lambda Spellcrafting Academy is a card-based puzzle game where you build spells (programs) to solve puzzles. If you've ever wanted to dabble in spellcraft (programming) here is a fun way to get started.
Square Logic is a minimalist puzzle game about coloring the grid with squares and rectangles, respecting the number of each cell.
Shaderland :: a creative-programming puzzle game :: wire up nodes // create world of pixels // guide polygonal creatures // learn computer graphics
Classic Minesweeper is back—bigger, badder, and cooler than ever! The original logic puzzle fun remains, but now with a game-changing twist: the Big Bomb mode! One massive blast to clear the entire board!
ZERO_FILL is a minimalist logic puzzle game. Bring all numbers to zero: click on a square to reduce or increase its value, but be careful - it also affects its neighbors. Includes a campaign with 75 boards, a boards creator and infinite random boards generation.
Fold and rotate a 4D cube to match the shadow. Short, calm puzzles with instant undo and helpful previews.
Promote your game here: [email protected]