777geniusDeveloper tools
↗
Bend Packages
Community catalog for Bend 2 packages, tools, and demos with search, filters, and copyable Hub imports or repository links.
☆ 0
167 builds.
All made with Bend.
Explore what people are making with Bend 2.
A different way to build.
Discover the language behind the projects.
Meet Bend 2 ↗167 builds · page 5 of 7
qasimkamranLibraries
↗
Bend2-libs
Reusable Bend 2 JSON parsing and URL-component encoding libraries, with JSON laws and proofs and a GPU parsing example.
☆ 0
shi3zDeveloper tools
↗
Bend-ONNX
ONNX-to-Bend code generator with Bend examples for matrix operations and neural-network models.
☆ 1
jnadeau207-collabLibraries
↗
BendCAD
Experimental CAD geometry kernel written in Bend 2, with geometry laws and staged implementation milestones.
☆ 9
naoeosavioLibraries
↗
bend-net
Bend 2 networking library with HTTP, WebSocket, DNS, and TLS modules, plus native socket effects.
☆ 2
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
PedroAVJLibraries
↗
F(s) near-function
Composable UI and typed assistant framework with reusable Bend 2 modules and a companion JavaScript package.
☆ 0
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
YSRKENResearch & experiments
↗
Bend 2 Spike
Bend 2 exploration with a small HTTP server, laws and proofs, notes, and explanatory slides from a cloud-development experiment.
☆ 8
wakamexResearch & experiments
↗
bend-bench
Benchmark suite comparing Bend programs against C/OpenMP CPU and CUDA GPU implementations across parallel workloads.
☆ 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
Pranay27syApps & websites
↗
Bend 2 Bank Ledger
Small Bend 2 bank-ledger example with accounts and transfers, plus Bend law and proof files for transfer and replay conservation.
☆ 0
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
petterikLibraries
↗
transduce-bend
Bend library for composing data transformations through an owned reducer protocol, with map/filter stages, collection sources, and consumers; its repository also includes a Bend-rendered Bullet Cathedral demo.
☆ 0
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
LucasGois1Libraries
↗
Bend Trace Context
Development-stage Bend 2 package for W3C Trace Context parsing, formatting and propagation, with native and JavaScript adapters.
☆ 0