heartgrid
A free puzzle game — play it in your browser, no install. A Lolo-style puzzle game where every room is proven in Lean 4: solvable, exactly optimal, and each harder than the last.
Vote and save it — continue with GitHub or sign in free
Made this, @keithadler? See how many people played it → or use email
Best with a keyboard. Controls: Arrows / WASD to move (walk into a block to push it)
GitHub asks to share your profile and email with us. We never post anything.
No account needed to save ♥ or react 🔥: they’re under the game. Or vote with email.
Open the live demo Source on GitHubFrom the README
A Lolo-style puzzle game where every room is a theorem.
Collect every heart, push emerald blocks (into water, to bridge it), dodge patrolling and hunting ghosts, then leave through the door into the next room. Twelve rooms, each longer to solve than the last, and for each one Lean 4 proves that it can be solved, that no shorter solution exists, and that the rooms get strictly harder: 15 < 27 < 33 < 38 < 47 < 61 < 67 < 84 < 98 < 107 < 110 < 114 moves.
Play: · or locally with make play (then open
Add ?all to the URL to unlock every room.
Built something like this? Submit your vibe — free account, takes a minute. How listing works.
More like this
cube composer
A puzzle game inspired by functional programming
selflessheroes
Solve puzzles by designing an AI for a team of selfless heroes. Test your algorithm, optimize it, and emerge victorious from the dungeon!
Beltz
Get every pulley spinning. A Unity puzzle game with 120 levels, four rule sets, interactive tutorials, and solvable procedural challenges.
tessel
A colorful open source tile game. Place tiles with matching colors to make shapes and fill the board. Play online or install the app!
black hole square
A puzzle game for js13k 2021 Clean up all the other squares in the universe. Just tap them and see what happens. Swipe right to reset a puzzle or go…
DrunkenViking
Top-down puzzle game for Mini LD 53. A free puzzle game you can play in your browser right now, no install.
Made this?
Claim it: create a free account, then press CLAIM THIS in the cruiser. Put the badge below in your README or on your demo page first; that link is how we know it's yours.
Your project is on the cruise, loaded live from your own site. Put the badge in your README or on the demo page: it shows your live play count, it links back to this page, and everyone who lands here is one click from running the real thing.
