Recreio
A card-driven, 7×7 football-inspired board game. Its game rules, deck and bot are implemented in Bend 2 and compiled to JavaScript for a React-based browser client; the repository also includes Bend laws and proofs, some marked as unfinish…
Explore what people are making with Bend 2.
Discover the language behind the projects.
Meet Bend 2 ↗14 builds · page 1 of 1
Clear filtersA card-driven, 7×7 football-inspired board game. Its game rules, deck and bot are implemented in Bend 2 and compiled to JavaScript for a React-based browser client; the repository also includes Bend laws and proofs, some marked as unfinish…
A survival-action game demonstrating the Bendvy entity-component system. Combat, movement, pickups and progression run in Bend; the browser edition wraps the compiled simulation with browser input and presentation adapters, while native pl…
A browser Minesweeper game written in Bend 2, with a no-guess assist button. Its game logic and deduction engine are implemented in Bend; the repository includes laws and proof files for the game rules.
Bend 2 example that solves eight-puzzle boards with iterative-deepening search and supplies checked laws showing which example boards are solvable or unsolvable.
Early-stage Doom-format WAD and automap reader written in Bend 2; currently reads map lumps and renders automap images.
Separate playable browser adaptation of Rift Chess whose game rules, opponent, rendering, input policy, and audio synthesis are written in Bend 2.
Playable voxel-world game written in Bend, with a browser demo and Metal build.
Browser proof game with Bend 2 levels alongside Agda and Lean 4; players complete proofs checked by the language toolchain.
An interactive Conway's Game of Life playground on a 64 × 64 grid with wraparound edges. Draw or erase cells, start from classic patterns such as the glider gun, pulsar, and acorn, or generate a random world. Play, pause, step through indi…
A cooperative multiplayer RPG with quests, equipment, bosses, chat, a shop, and character customization. Players can host a server or join one, progressing through three zones toward a cooperative final encounter. Gameplay and drawing are…
A Minecraft-inspired voxel sandbox with seeded terrain, streamed chunks, trees, crafting, inventory, villagers, and survival mechanics. Bend 2 owns the world rules: terrain generation, state transitions, physics, collisions, and edit valid…
A Portal-inspired raycasting game built in Bend 2. Place portals on walls, carry momentum through them, and see your character's body crossing between the two openings. The implementation combines DDA raycasting, collision and portal phys…
A compact two-player fighting-game experiment implemented in Bend 2. Each fighter has two attacks with distinct reach, damage, startup, active, and recovery frames, making spacing and timing central to the design. The Bend source models m…
Doom's first level, rebuilt in Bend 2 with monsters, weapons, doors, pickups, sound effects, and music. The project also supports recording gameplay demos and exporting them as video. The game source includes Bend modules for simulation, …