6 builds · page 1 of 1
Clear filtersComposable compiler frontend for Bend 2, written in Bend. Checks types, quantities, termination, and proofs, then exports a typed, serializable Core.Program for custom backends without executing the input. Includes a CLI and JavaScript int…
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.
Experimental GDExtension binding that lets Godot run Bend 2 game programs, with a Pong example.
Unofficial Nix flake packaging Bend 2 as a pinned derivation, with optional CUDA support.
A Bend 2 port of Vegeta's HTTP load-testing attack and report commands, shared by Vegeta author Tomas Senart. It generates HTTP traffic and produces compatible CSV/JSON results and text, JSON, or histogram reports. The port uses a laws-fi…
A linter, checker, and language server for Bend 2, written in Bend and paired with a VS Code extension. Configurable rules flag issues such as unused names, unfinished holes, suspicious recursion, formatting, and law coverage. The languag…
