7 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.
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…
