777geniusDeveloper tools
↗
Bend Packages
Community catalog for Bend 2 packages, tools, and demos with search, filters, and copyable Hub imports or repository links.
☆ 0
GitHub
61 builds · page 2 of 3
Clear filters
shi3zDeveloper tools
↗
Bend-ONNX
ONNX-to-Bend code generator with Bend examples for matrix operations and neural-network models.
☆ 1
IlyaGulyaDeveloper tools
↗
bend2-lsp-rs
Rust language server for Bend 2 with editor navigation, completion, diagnostics, and formatting.
☆ 2
kvnlooDeveloper tools
↗
bend-native for Hermes
Hermes plugin that adds a Bend proof-verification tool and CLI for Bend projects.
☆ 1
nicolas-abrilDeveloper tools
↗
Tree-sitter Bend 2
Tree-sitter grammar for Bend 2 syntax, with editor queries for highlighting, symbols, and indentation.
☆ 3
michaelsproulDeveloper tools
↗
bentdelta
VCDIFF delta encoder and decoder written in Bend 2, with a Bend proof of its encode/decode round-trip law for targets under 128 MiB.
☆ 0
indigo (@_ndigo)Developer tools
↗
bend-frontend
Composable 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…
☆ 39♡ 122
nipahDeveloper tools
↗
Bend 2 for Zed (nipah)
Zed editor extension for Bend 2 with syntax highlighting, completions, navigation, and live compiler diagnostics.
☆ 1
nicolas-abrilDeveloper tools
↗
Bend 2 for Nix (nicolas-abril)
Standalone Nix flake that packages Bend 2 from pinned upstream source and provides a development shell for Bend projects.
☆ 2
lucaswimanDeveloper tools
↗
bend-python
Experimental toolkit for building CPython extension modules from Bend 2 code, with a Bend/Python bridge and proof checks in the build workflow.
☆ 0
Emerging-PatternsDeveloper tools
↗
ez
Project manager written in Bend 2 that scaffolds projects, pins dependencies, builds and runs programs, and manages Bend tools.
☆ 2
SamG-CoderDeveloper tools
↗
CUDA WebShader Bend 2 Lab
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.
☆ 13
nicolas-abrilDeveloper tools
↗
bend2-fuzzer
Differential fuzzer for Bend 2 compiler backends, with a Bend implementation of its generator and harness alongside the TypeScript version.
☆ 0
bkaseDeveloper tools
↗
ProofPack State
Read-only Git state calculator written in Bend 2 that computes missing objects, readiness, retention and dependency paths using a proved set and reachability core.
☆ 0
nuxyelDeveloper tools
↗
Bend 2 for Neovim
Neovim plugin for Bend 2 file editing and compiler-backed checks, navigation, diagnostics and proof exploration.
☆ 1
kingcharlezzDeveloper tools
↗
BendVerify
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.
☆ 0
ericfodeDeveloper tools
↗
Bend 2 for Zed (ericfode)
Development-stage Zed extension for Bend 2 with Tree-sitter highlighting and a bundled compiler-backed language server.
☆ 1
mitschabaude-botDeveloper tools
↗
pi-bend
Work-in-progress native Bend port of the pi coding agent, with a modular agent loop, native networking, and CLI entry point.
☆ 1
Jeffrey EmanuelDeveloper tools
↗
toon_bend
Bend 2 port of the toon command-line tool for converting between JSON and TOON text.
☆ 3
CaioWingDeveloper tools
↗
Bend 2 Language Support (CaioWing)
Unofficial VS Code-compatible extension and language server for Bend 2 diagnostics, completion and navigation.
☆ 1
IlyaGulyaDeveloper tools
↗
Bend 2 for Zed (IlyaGulya)
Zed editor extension for Bend 2 highlighting and bend2-lsp-powered diagnostics, hover and formatting.
☆ 0
Ari CarmoDeveloper tools
↗
godot-bend
Experimental GDExtension binding that lets Godot run Bend 2 game programs, with a Pong example.
☆ 0
davidawadDeveloper tools
↗
helix-bend
Helix editor configuration, highlight queries and installer for Bend 2 syntax support.
☆ 0
don2e4Developer tools
↗
bend2-lsp
Language server for Bend 2 with formatting, compiler diagnostics, hover and import go-to-definition.
☆ 5