16 builds · page 1 of 1
Clear filtersAn independent documentation site and coursebook for Bend 2, HVM and interaction nets. The repository contains tutorials, exercises, worked solutions and reference compilations, built into a static website.
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…
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…
Bend 2 pocket workshop is a browser workspace for writing, checking and running Bend 2 programs without installing a compiler. It combines an editor, proof-hole goals, examples, the language guide and compiler output in one page. Its phone…
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.
A terminal AI chat application written in Bend 2, porting UniiChat with binary-tree conversation summaries, tool execution, and agent coordination. It supports Claude Code CLI and Messages API backends.
A Bend 2 library and command-line tool for building natural, horizontal, and limited-penetrable visibility graphs from time series. It ports ts2vg graph kernels using F32 arithmetic and provides parallel graph construction.
Foundation library for Bend 2 with reusable machine-checked lemmas, a law counterexample checker, source reader, and generated package documentation.
Search engine for BendHub package definitions that mirrors Bend source, indexes signatures and exposes a searchable API.
Community catalog for Bend 2 packages, tools, and demos with search, filters, and copyable Hub imports or repository links.
Experimental browser lab that checks Bend 2 source, lowers supported terms through a CUDA runtime into WGSL, and runs them with WebGPU; it does not implement full BendRT compatibility.
Interactive website explaining Bend parallelism and proofs through clickable demos and Bend code examples; the explainer itself is a web project for the language.
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…
