166 builds · page 6 of 7
Clear filtersInteractive website explaining Bend parallelism and proofs through clickable demos and Bend code examples; the explainer itself is a web project for the language.
Experimental Bend 2 library for exact integer and quadratic-extension arithmetic, with laws and proof implementations organized in separate Bend files.
Proof-of-concept competition and verifier for Bend compiler optimizations; a Lean-checked proof must establish equivalence of the submitted intermediate representation before it is benchmarked.
Separate playable browser adaptation of Rift Chess whose game rules, opponent, rendering, input policy, and audio synthesis are written in Bend 2.
Development-stage Zed extension for Bend 2 with Tree-sitter highlighting and a bundled compiler-backed language server.
Work-in-progress native Bend port of the pi coding agent, with a modular agent loop, native networking, and CLI entry point.
Experimental desktop application framework for Bend with native macOS controls and a GPU canvas; shared application logic can be developed on macOS or Linux.
Playable voxel-world game written in Bend, with a browser demo and Metal build.
Bend 2 port of the toon command-line tool for converting between JSON and TOON text.
Early graphics and game-programming library written in Bend 2, currently focused on headless image drawing and math.
Unofficial VS Code-compatible extension and language server for Bend 2 diagnostics, completion and navigation.
Browser proof game with Bend 2 levels alongside Agda and Lean 4; players complete proofs checked by the language toolchain.
Zed editor extension for Bend 2 highlighting and bend2-lsp-powered diagnostics, hover and formatting.
Experimental GDExtension binding that lets Godot run Bend 2 game programs, with a Pong example.
Helix editor configuration, highlight queries and installer for Bend 2 syntax support.
Language server for Bend 2 with formatting, compiler diagnostics, hover and import go-to-definition.
Preview VS Code extension for Bend 2 with highlighting, formatting, compiler checks and a proof explorer.
IntelliJ IDEA plugin for Bend 2 editing, navigation, completion and compiler diagnostics.
Work-in-progress Bend 2 port of the JSONL-only br issue tracker; source builds a Bend program, with no release yet.
Unofficial Nix flake packaging Bend 2 as a pinned derivation, with optional CUDA support.
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 reusable Tree-sitter grammar for Bend 2 syntax, maintained separately from the Zed extension that consumes it. It parses imports, data types, functions, laws, pattern matching, do-notation, parallel bindings, rewrites, dependent types, a…
Bend 2 language support for the Zed editor, with syntax highlighting, code outlines, snippets, and inline diagnostics. A language-server shim invokes the Bend checker and supplies hover information from local function signatures and the ba…
An experimental symbolic-regression implementation in Bend 2 that searches for mathematical expressions fitting a dataset. It represents candidate formulas as expression trees and evolves them through fitness evaluation, tournament selecti…
