Awesome Bend

High-level language for massively parallel CPU and GPU programs, with an affine dependent type system.

This list is current Bend: bendlang/bend, 2.0.x. It is not Bend 1 (HigherOrderCO/Bend1, cargo install bend-lang, bend run-cu).

Last checked: 29 October 2026. Latest stable release: Bend 2.0.39.

curl -fsSL https://bend-lang.com/install.sh | sh

Hub packages are pinned to content hashes (import 0x…/file.bend); names and versions are aliases (import name@version/file.bend). Names of 12–64 characters can be claimed; shorter names are auctioned. The hub has search, hot/new, and posts. Use a published import below, or clone projects without one.

Compiler behavior and APIs change between releases. Check each package's documented requirements and the official release notes before updating a working pin; publication on the Hub does not establish compiler compatibility.

Contents

• Official
• Catalog
• Packages
• Tools
• Packaging
• Learning
• Demos
• Benchmarks
• Papers
• Community
• Related

Official

• Bend - Compiler, Base library, guide, demos, and papers.
• Lab - In-browser playground.
• Hub - Content-hash registry with optional names (import name@version/file.bend), search, hot/new, and posts. ?hub= can point a local hub at the same page.
• BendAI - Official proving agent for LAWS.bend / PROOF.bend.
• Base - Bundled standard library, also printed by bend base.

Catalog

• Bend Packages - Community catalog with search, filters, and copy-import. Not the official hub.
• bend-catalog - Live hub index: every hash, laws, size, and import line (repo).
• Bend Docs - Generated API docs, checker status, and law search for BendHub packages (repo).

Packages

Entries below identify pinned Hub packages and files. When using a reference in Bend source, add a module alias: import name@version/file.bend as Lib. Check each project's compiler requirements and tested versions; the Tools section includes compatibility matrices.

The weekly freshness report lists optional updates. Keeping a working pin for a documented compatibility reason is fine.

• gauss - Experimental unit-aware engineering calculation engine with SI dimensions.

• unsga3-bend - U-NSGA-III optimiser with constrained problems, on the hub as import [email protected]/lib.bend.

• bend-lemmas - Reusable Nat, List, and Bool lemmas for PROOF.bend files.

• bend-tty - Raw-mode terminal effects, escapes, and a proof-checked key decoder.

• scrapanium - HTTP/1.1, HTTP/2, and TLS WebSockets via a native transport.

• openai-bend - Typed OpenAI Responses client through a localhost TypeScript SDK companion, on the hub as import [email protected]/openai.bend; requires Bend 2.0.34+.

• anthropic-bend - Typed Anthropic Messages client through a localhost TypeScript SDK companion, on the hub as import [email protected]/anthropic.bend; requires Bend 2.0.34+.

• bend-codec - RFC 4648 hex, Base64, and UTF-8, on the hub as import [email protected]/hex.bend.

• bend-parse - Cursor, digits, and finish, on the hub as import [email protected]/parse.bend.

• bend-time - Gregorian dates, Instant, Duration, Period, ISO week, P/PT, RFC 3339 subset, IANA zones, and RFC 9557. Release v0.6.0 adds calendar quarter bounds and day-of-year helpers in its source checkout; the Hub core remains import [email protected]/date.bend, checked on Bend 2.0.28, 2.0.34, and 2.0.36; zone import 0x5118d7c8d8a6cbdfca48647d1a5a6fde/zone.bend still depends on the older core.

• shake - CLI argument parser for flags, options, and nested commands, on the hub as import [email protected]/main.bend.

• bend-sha256 - SHA-256 with machine-checked proofs against FIPS 180-4, on the hub as import 0xda83506fb9f059ead7afcfa2f498df5f/sha256.bend.

• bend-json - JSON parser and serializer with JSON Pointer, NDJSON, machine-checked laws, and regression examples, on the hub as import 0xf776c27e08f75fc19a070c691bcbb111/json.bend.

• bend-net - HTTP/1.1, HTTP/2, HTTPS, DNS, TLS, and WebSockets, on the hub as import 0xd66ee682d4ce8c656782ca9e0e4634cb/http.bend.

• eztoml - TOML parser and renderer for Bend 2, on the hub as import [email protected]/main.bend.

• ezjson - JSON for Bend 2, on the hub as import [email protected]/main.bend.

• mylsm - Experimental durable LSM key-value store; source 0.6.0.0 alpha adds cursors, snapshots, backups, and a coordinated local owner, with explicit migration from 0.5 storage. Current source requires Bend 2.0.39; the released Hub package remains import [email protected]/mylsm.bend, requiring Bend 2.0.36+.

• bend-tui - Terminal views, a proof-checked frame shape, and a Tui.run loop on bend-tty.

• toon_bend - JSON ↔ TOON codec and CLI, golden-tested against the original.

• ezhttp - HTTP/1.1 client and server with auth, cookie, and CORS helpers, on the hub as import [email protected]/main.bend; requires Bend 2.0.38+.

• ezaudio - PCM clips, WAV codecs, and limited MPEG-1 Layer III support for Bend 2, on the hub as import [email protected]/main.bend.

• ezimg - PNG and baseline JPEG codecs for Bend 2, on the hub as import [email protected]/main.bend.

• bend-collections - Verified containers, numeric utilities, and growing proved cryptography (SHA-3, BLAKE2/BLAKE3, Argon2id, ChaCha20-Poly1305, AES-GCM, X25519, Ed25519, secp256k1), on the hub as import [email protected]/src/containers/hash_table.bend.

• bend-mathlib - Machine-checked arithmetic, list, sorting, string, and algebra lemmas, on the hub as import [email protected]/nat.bend.

• BendSR - Parallel symbolic regression, on the hub as import 0x07516e23611e5287ce89bcff661be83f/BendSR.bend.

• bend_tensors - Dense linear algebra with shapes in the types, on the hub as import [email protected]/bend_tensors.bend.

• stiff - Experimental native HTTP, routing, streaming, and SQLite-backed local state; version 0.6.1 targets Bend 2.0.36 (0.6.0 remains for Bend 2.0.35).

• bendygrad - Tinygrad front-end in Bend 2: views, buffers, autodiff, and SGD.

• bend-machines - Root-of-Lisp, Core, STG, and STG→C in one hub package, import 0x9fc0cec754888f0fecabce899ddf2ee5/main.bend.

• bend-kit - Independently published Bend 2 packages for codecs, collections, networking, storage, cryptography, services, proto3 codecs with typed protoc generation, and binary64 soft-float. Bytes import [email protected]/bytes.bend; HTTP import [email protected]/http.bend. The project currently requires Bend 2.0.38 or newer.

• V - Data structures and architecture as types. Arc import [email protected]/arc.bend; V import [email protected]/v.bend.

• jonlib - Graphics, image-codec, and math library inspired by raylib; requires its pinned Bend 2.0.39 checkout and compiler overlay.

• bend-lawful-stdlib - Typeclass-style Ord, Semigroup, and Group with their laws, import [email protected]/src/class.bend.

• ber - Version-controlled data on MyLSM with certified merges, on the hub as import [email protected]/ber.bend.

• bend-parallel - Parallel prefix sums, histograms, and a stable counting sort, on the hub as import [email protected]/scan.bend.

• bend-schema - JSON schema checker whose core is proved in Bend, used from TypeScript or Bend, with an optional Effect v4 codec adapter and tested JSON Schema 2020-12 export; exported schemas omit refinement predicates and runtime budgets. Hub import [email protected]/core.bend.

• wordlib - Machine-word laws on the hub as import 0xb13667d52aa56e002b4d09883d7fce3e/PROOF.bend; checkout also includes list laws and a sum prover.

• bend-over - SQLite and JavaScript interop with native, Bun, and browser examples. SQLite import [email protected]/sqlite.bend.

• bend-trace-context - W3C Trace Context propagation for Bend, Node, and browsers, with proved protocol rules and context generation. Hub import [email protected]/trace_context.bend; requires exactly Bend 2.0.34.

• bend-csv - CSV parser with quoted and multiline fields, custom separators, a TypeScript bridge, and machine-checked core laws. Hub import [email protected]/core.bend; requires Bend 2.0.35.

• raptorq-bend - RFC 6330 RaptorQ encoder and decoder with parallel multi-block object support and Rust reference vectors.

• bend-merkle-tree - Hash-generic, capacity-bounded Merkle trees with SHA-256 and independent golden vectors; requires Bend 2.0.34.

• bend-ml - Shape-typed tensors over flat arrays with proved shape laws, parallel CPU and GPU products, byte-level BPE with a proved round trip, and a binary weights reader (foreign C and JavaScript), with CPU MNIST and GPT-2 demos; requires Bend 2.0.39. Tensor import [email protected]/main.bend; the hub packages also include import [email protected]/main.bend and import [email protected]/main.bend, and the list-based tensor and autograd packages are frozen.

• bend-smtp - SMTP client with TLS, OAuth, DKIM, SMTPUTF8, and attachments; its pure core has a machine-checked proof that cleaned addresses and headers carry no CR or LF; native build only (C effects over OpenSSL), tested with Bend 2.0.36, on the hub as import 0x650cd729029c76d9f6151ee977dc0ae8/smtp.bend.

• bender-http - HTTP/1.1 and HTTPS client and CLI with a proved pure codec; uses the sibling bender-dns checkout and is tested on Linux with Bend 2.0.32 and OpenSSL 3.

• bender-dns - TCP DNS stub resolver, OS resolver delegation, and a CLI, with proved codec laws; tested on Linux with Bend 2.0.32.

• bend-zcash-blake2b - Proved parameterized BLAKE2b with a C library and Rust blake2b_simd adapter; incremental buffering and host glue are tested, not proved.

• gax-bend - Geometric algebra with generated kernels proved against a multivector specification, geometric APIs, and a ray-tracing demo; uses Bend 2.0.35, with GPU experiments on the upstream HIP branch.

• bend-stream - RTSP and RTMP clients as sessions that give frames (H.264, H.265, AAC, and G.711 over both), with MPEG-TS and FLV recording, TLS, and reconnection; its laws check RFC vectors and prove that no RTSP request field carries CR or LF; play only, native build only (C effects over OpenSSL), requires Bend 2.0.36+, on the hub as import 0x2355f41b6f5561f50104a75ccca27cf7/rtsp.bend.

• Chromi - Experimental AMAGE 2D renderer with a CPU reference, retained frames, and a Vulkan GPU path through Voltra; tested on Bend 2.0.37 with Linux X11/XWayland.

• chelokot/bend-math - Experimental exact mathematics with checked rational ordered-field, polynomial-identity, and inequality-certificate laws; its general Cauchy-real model remains incomplete.

• BendKV - Experimental Redis-compatible RESP2/RESP3 key-value server with proved command, storage, and session laws; implements a Redis subset and requires a dedicated patched Bend 2.0.35. Licensed Apache-2.0.

• Bendvy - Experimental Bend 2 entity-component system with typed queries, schedules, deferred commands, and native/browser examples; its API remains in progress. Licensed MIT or Apache-2.0.

• Stelliferous - F32 tensor library with source-level convolution proofs against a fixed FP32 specification, on the hub as import [email protected]/tensor_f32.bend; checked on official Bend 2.0.37. Its training package (convolution, batch norm, activation, and pool layers) is in the same package as import [email protected]/tensor_training.bend.

• bend-edit-distance - Experimental Edlib-style edit distance and alignment library and CLI, on the hub as import [email protected]/lib.bend; requires Bend 2.0.37+ and implements only part of Edlib.

• bend-sat - Experimental SAT solver with watched literals, first-UIP learning, and a proved result checker with DPLL fallback; validated on a pinned Bend 2.0.37 macOS arm64 setup. No license file is provided.

• bendtorch - Experimental F32 tensor library with shape-indexed storage, tensor autograd, losses, and SGD, with MNIST training checked against PyTorch. Hub import [email protected]/src/tensor/core.bend; requires its pinned Bend compiler checkout.

• bend-osdev - MIT-licensed operating-system libraries: file systems, archives, compression, ELF, partition tables, network headers, capability and LSM policy models, and kernel data structures, each with laws, --verdict-accepted proofs, and differential tests; pinned to Bend 2.0.39 and published incrementally on the hub as bend-osdev-<package> (for example import [email protected]/bytes.bend).

• bend2-libs - Text, XML, CSS, PNG, JPEG, TrueType, SVG-render, byte, and archive libraries unpacked from nicolas-abril's demos onto the hub under the gralha- prefix (for example import [email protected]/scan.bend and import [email protected]/ustar.bend); requires Bend 2.0.37+.

• bentdelta - VCDIFF (RFC 3284) delta encoder and decoder compatible with xdelta3, with a machine-checked round-trip law covering targets under 2 GiB less 1 MiB; no license file is provided.

• MailBend - IMAP/SMTP connector for AI agents with a CLI and MCP server; its mail-safety rules are proved laws, a Rust helper handles TLS, and it pins Bend 2.0.35.

• bend-keccak - Ethereum Keccak-256 with packed arrays and a kernel-checked sponge refinement proof, on the hub as import 0x48cee57f42dae6ba4c727fbf982cdd4d/keccak.bend.

• bend-visgraph - Visibility graphs of time series ported from ts2vg, natural and horizontal with directed and weighted edges, on the hub as import [email protected]/visgraph.bend; requires Bend 2.0.37.

• mlbend-hf - Hugging Face dataset client with dataset metadata, file trees, file bytes, and rows-server reads over JSON HTTP, on the hub as import [email protected]/main.bend.

• mlbend-datasets - scikit-learn's benchmark datasets fetched from Hugging Face at run time, with pure estimators over the returned values, on the hub as import [email protected]/main.bend.

• mlbend-metrics - Regression and classification metrics (MSE, MAE, RMSE, accuracy, precision, recall, F1) with an ALL PROOFS CHECK gate and no @unsafe, on the hub as import [email protected]/main.bend.

• bend-env - Project and environment manager: a manifest, lockfile, and pinned package environment resolved and verified against BendHub; no package-hub release of its own.

• Bendo - Pre-alpha Hono-style web framework with routing, parsing, JSON, and validation proved in LAWS.bend, plus a typed TypeScript client; pins Bend 2.0.38 and is not published on the hub.

• BendTorch - Typed layers with forward and backward passes, losses, optimizers and checkpoints over bend-ml's tensors, trained step for step against PyTorch twins on MNIST, a two-layer Llama and SmolLM2 (135M to 1.7B), with structural laws checked by --verdict and parallel CPU and GPU builds of the same layers, on the hub as import [email protected]/main.bend; requires Bend 2.0.39.

Tools

• bolt - Linter, checker, and LSP written in Bend, with a VS Code extension, on the hub as import [email protected]/main.bend.

• tree-sitter-bend2 - Tree-sitter grammar with highlight, symbol, and indent queries.

• bend2-fuzzer - Differential fuzzer for Bend's interpreter, JavaScript and C backends, with optional Metal and CUDA checks.

• bend-fmt-lsp - Official formatting-only language server (full document, no diagnostics).

• bURL - HTTP/1.1 and HTTPS client with DNS in Bend and a proof-checked parser.

• godot-bend - Proof-of-concept GDExtension for writing Godot games in Bend.

• bendirstat - Disk-usage analyzer with a parallel scan and a zoomable treemap.

• teamy-bend - Independent Rust implementation of a Bend 2 subset.

• snap - Process runner (run / start / par), on the hub as import [email protected]/main.bend.

• bend-init - CLI that scaffolds a law-backed starter project, on the hub as import 0x1e0cc3677d46304c29af14dfd5553385/main.bend.

• fire-bend - Experimental indentation-based syntax that compiles to Bend.

• zed-bend - Zed development extension with Tree-sitter highlighting and diagnostics, completion, navigation, and rename through bolt lsp.

• bend-mode.el - Emacs major mode with Eglot formatting and Flymake diagnostics.

• bend2-language-support - VS Code diagnostics, completions, and snippets.

• bend2-vscode - VS Code client with a standalone language server.

• davidawad/tree-sitter-bend2 - Tree-sitter grammar and queries for Bend 2, shared by Helix, Neovim, and the separate bend.vim plugin.

• bend-grammar - TextMate grammar with tokenizer regression tests.

• beads_bend - Local-first issue tracker port, golden-tested against the original, still early.

• bendc - Self-hosting Bend 2 compiler targeting C, with a type checker, parallel CPU runtime, and Metal GPU backend.

• bend2-lsp - Standalone language server: diagnostics, hover, go-to-definition, and formatting.

• Giulio2002/bend-vscode - VS Code highlighting, autocomplete, compiler diagnostics, and .bend file icons.

• bend-idea - IntelliJ IDEA plugin with completion, navigation, refactoring, formatting, proof workflows, and optional compiler diagnostics.

• bendler - Call Bend from Elixir through a supervised CPU port or an experimental NIF; supports exactly Bend 2.0.36.

• bend-frontend - Checks full Bend and exports a typed Core.Program for backends.

• bend-evm - EVM backend: contracts in Bend, certified IR, and Yul lowering.

• FabianVegaA/tree-sitter-bend - Tree-sitter grammar for Bend 2 syntax.

• web3signer_bend - Web3Signer-compatible Ethereum consensus remote signer, with slashing-protection laws.

• knot - JavaScript package manager, TypeScript transformer, and bundler written in Bend 2. Published as @matheusbbarni/knot; test runner still planned.

• jev-fabric - Native process orchestration with bounded logs and typed Jev decisions, preserving provider JSON, refusals, and provenance, with opt-in image references and long context; version 0.8.1 requires Bend 2.0.38 when building from source.

• bend-ldd - Agent skill for law-driven Bend 2: state laws, falsify them, prove them, then mutate the core.

• bend-falsify - Falsifies Bend 2 laws on literal instances and checks each proof against a mutant, with optional bounded parallel mutation checks.

• bend-emit - Compiles a pure Bend core to a typed ES module with named exports and TypeScript declarations; version 0.4.3 requires Bun and exactly Bend 2.0.39.

• BendVerify - Proof-carrying compiler optimisation: a Lean-checked equivalence proof before any benchmark.

• kbrianps/bend-vscode - VS Code highlighting, live diagnostics, hover, and formatting, with bend2-lsp bundled.

• bendcheck - Property-based testing with generators, shrinking, and a lawcheck script for LAWS.bend. Library import 0x738b30530890e825e0ab81092b94cbfc/check.bend.

• PedroVIOliv/bend-crater - Hub package type-checking matrix across Bend releases; records errors, timeouts, and missing dependencies.

• costamatheus97/bend-crater - Nightly Hub compatibility matrix for recent releases and upstream main, with checker timings and CPU/JS lane comparisons.

• bend2-nvim - Neovim completion, navigation, diagnostics, formatting, and a compiler-backed Proof Explorer.

• IlyaGulya/bend2-zed - Zed development extension with Bend 2 highlighting and the Rust bend2-lsp-rs language server, pinned to v0.6.2 with import completion and indexed symbol auto-import.

• ericfode/zed-bend2 - Zed development extension with Tree-sitter highlighting and a bundled compiler-backed language server.

• ProofPack State - Read-only Git object reachability, missing-object, and retention queries with a proved set-algebra core.

• Bend verdict investigation - Reproducible probes for Bend 2.0.32's checker and BendTT kernel, including a reported mismatch that the kernel rejects.

• bend2-lsp-rs - Rust language server with navigation, completion, diagnostics, and formatting; version 0.6.2 supports multiple compiler diagnostics on verified Bend 2.0.37 builds across macOS, Linux, and Windows on x86_64 and ARM64. Windows needs the documented native source build; other compiler builds use CLI diagnostics, and Bend is installed separately.

• Bend for Hermes - Hermes plugin for Bend proof verification with hashed receipts and offline replay; requires Bend 2.0.32+ and Lean 4.34.0.

• lawcheck - Finds and shrinks counterexamples to Bend laws, with mutation testing and optional checker/native comparison; tested on Bend 2.0.39.

• eco-build - Experimental cached, parallel native C build helper for the AMAGE ecosystem; supports official Bend 2.0.37.

• bend-lint - Checker-backed linter and formatter with Bend rule programs and performance diagnostics; uses Bun and an automatically downloaded tested compiler. Windows uses a Bend fork; most fixes need --fix-dangerously.

• bend-tools - Shell and Python helpers for emitted-C reference counts, per-law checks, proof diagnostics, and native benchmarks; pinned to Bend 2.0.36.

• baton - Command-line coordinator for native Claude Code, Codex, DeepSeek Harness, Muse, and OMP sessions, with agent teams, Git worktrees, and shared knowledge, written in Bend 2.

• bend-python - Experimental CPython extensions from Bend 2, with laws checked during the build; published on PyPI, tested on Linux x86_64, and pinned to Bend 2.0.28.

• cha - Forge CLI for Gitea, Forgejo, and GitHub with issue, pull-request, and run commands, written in Bend 2 with proved laws; source builds require Bend 2.0.39.

• bird - Command-line client for reading and posting to X, rewritten in Bend 2 with a pure law-proved core and shell/network effects at the edge.

• reflex - Mac menu-bar and phone companion for monitoring and routing terminal coding-agent sessions, with a Bend 2 routing core and proved safety laws; requires Apple Silicon and Bend 2.0.37.

• bend-cad - Experimental CAD sketch-solver design with Bend source for geometry and constraint solving, machine-checked with a PROOF.bend gate against a local Bend checkout.

• helix-bend - Helix language entry, highlight queries, and install script for the pinned Bend 2 grammar; Helix has no plugin system, so it is configuration rather than a plugin.

• bend.vim - Vim and Neovim plugin with a classic syntax layer and optional Tree-sitter highlighting built from the pinned tree-sitter-bend2 grammar.

• bend-cli - Command-line interface library: one declaration yields help, typed argument decoding, shell completions, and man pages, with the behavior stated as Bend laws; on the hub as import [email protected]/cli.bend, requires Bend 2.0.39+.

• bend-ipp - Pure IPP (RFC 8010/8011) codec over byte lists, tested against Bend 2.0.38; not published on the hub.

• bend-iac - Proof-oriented infrastructure-as-code planner for Cloudflare that returns an authorized, ordered plan or a blocked explanation, with three safety laws checked by PROOF.bend; uses a pinned Bend checkout.

Packaging

Do not use nixpkgs bend. That package is Bend 1.

• nicolas-abril/bend2-nix - Nix flake that builds Bend from pinned upstream source.
• y0usaf/bend2-nix - Nix flake wrapping the official Bend 2.0.5 archive and Bun, with a script to update the pin; verified on x86_64 Linux.
• ez - Project management for Bend, on the hub as import [email protected]/main.bend.
• bend.nix - Unofficial Nix flake tracking Bend 2 main, with NixOS and Home Manager modules, an overlay, and optional CUDA support.
• Official Nix flake - Installs verified Bend release archives on Linux and macOS (nix profile install github:bendlang/bend).

Learning

• Guide - Language guide, also printed by bend guide.

• bend2-from-zero - From-scratch tutorial (book), including probes that are supposed to fail.

• aprendendo-bend2 - Short examples in Portuguese.

• Bend, Explained - Interactive beginner explainer of parallelism, laws, and proofs (repo).

• bend2.dev - Independent notes, syntax primer, and example programs.

• bend-math - Small executable example of symbolic differentiation and forward-mode automatic differentiation, with a machine-checked agreement proof.

• Bend 2 pocket workshop - Independent browser workshop with the checker, compiler, proof-hole goals, and proof tools in one page, including a phone interface (repo); uses a pinned compiler checkout.

• bend-tutorial - Bend hands-on tutorial for beginners coming from Python.

• bend2-intro-with-life - Japanese beginner's book that teaches Bend 2 by building a Game of Life, with downloadable PDF and sample code.

• bend2-spike - Japanese Bend 2 verification notes: a small proved HTTP server, language probes, benchmark data, and slides covering Bend 2.0.34-2.0.36.

• bend-pitfalls - Single-file list of Bend 2 language and compiler pitfalls found in real projects, each entry tagged with the compiler version it was seen with.

Demos

Official demos

• Winning Is Impossible - 2D game plus a proof the player cannot win.
• Slash Boss - 3D boss-fight demo.
• Rollback netcode - Deterministic multiplayer networking example.

Community demos

• metal-bending - Verified examples and CPU vs Metal measurements on Apple Silicon.

• bend2-tar-demo - Tape archive and gzip CLI with a byte-identical C twin.

• bend2-svg-demo - SVG viewer, renderer, and editor for native and web.

• bend2-bendquest-demo - Cooperative multiplayer RPG with a Bend server and client.

• qmdb-bend2 - Membership-proof checker for the QMDB authenticated database.

• portal-bend - Raycaster with shootable portals, momentum, and a visible body crossing.

• raytracing-bend2 - Ray tracing in a weekend, ported from Nim, with parallel lets.

• bend-night-train - WebGL night-train scene rewritten as a Bend tile rasteriser.

• bendoom - Playable Doom shareware episode with bundled assets, native releases, a browser build, and a Nix flake; Freedoom support beyond the first episode is incomplete.

• crud-api-bend - In-process HTTP CRUD API with a file-backed store.

• bend-playground - Interactive Bend 2 simulations and browser essays covering ray tracing, physics, neural networks, neuroevolution, and reinforcement learning.

• bend-2-mandelbrot - Mandelbrot explorer on Apple Silicon with Metal and deep zoom.

• bend-voxel - Editable voxel sculpture scene with native CPU/GPU rendering, material-aware carving, and an additional Vulkan renderer; requires Bend 2.0.39, with X11 headers on Linux.

• bend2craft - Minecraft-inspired voxel sandbox with shared Bend rules, a WebGL browser client, and a native CPU-rendered client.

• birc - Terminal IRC client written in Bend 2, with TLS, IRCv3 history, tabs, and inline media.

• Eldergrove Faire - RollerCoaster Tycoon-style park sim with sixteen machine-checked laws.

• bend-voxel-bench - Luanti terrain ported to Bend, with a CPU voxel world and a live race against C++.

• BendJVM - Java 8 class-file interpreter in Bend, with bounded reflection, annotations, and interface proxies, differentially tested against java.

• bend-craft - Fixed-point voxel game with generated terrain and first-person interaction. GPU measurements use an experimental CUDA-over-HIP compiler fork.

• Peggie Bend Lab - Procedural peg-board generator with a proof that every requested cell produces exactly one target peg.

• Rift Chess Bend 2 preview - Browser preview of a Bend-rendered chess experiment; source and proofs remain in the main Rift Chess repository.

• Bendcraft - Walkable voxel world with weather, flowing water, and proofs; currently needs its dedicated Bend compiler branch for the documented performance and features.

• Three Bodies - Interactive gravitational simulation with software binary64 physics, GPU rendering, and a checker-verified theorem for a fixed figure-8 integration run; requires Bend 2.0.34+.

• kbrianps/bendoom - Doom and Doom II with menus, saves, OPL and General MIDI music, and PWADs, whose demos play tic for tic as in Chocolate Doom; native build, or in the browser at kbrianps.com/bendoom; tested with Bend 2.0.36.

• bocht - Native HTTP backend with auth, WAL storage, REST, and MCP; current source targets Bend 2.0.35.

• shellOS - Desktop shell with rendering and UI state in Bend and native effects; documented macOS arm64 build uses Bend 2.0.35.

• llama.bend - SmolLM2 inference (135M, 360M, 1.7B) with shape-typed weights and cache laws, read from the downloaded model.safetensors and tested against Transformers, on the CPU and the GPU; on the hub as import [email protected]/main.bend; requires Bend 2.0.39.

• rubend - 3×3 Rubik's cube solver written in Bend 2 with proved cube rules and pruning-table generators, plus a Three.js workbench; requires Nix and Bend 2.0.37.

• bendSVM - Bounded Bend 2 to Solana SBF compiler and SDK exercised by token, vesting, exchange, and AMM applications with proved laws; requires a pinned Bend checkout and platform-tools.

Benchmarks

• Official benchmarks - Compiler, proof-checker, CPU, and GPU workloads used for Bend's published charts, including a parallel histogram benchmark with C, TypeScript, and Lean comparisons.
• bend-bench - Independent CPU/OpenMP and GPU/CUDA comparisons, with reproducible output checks and separate startup and workload measurements. Non-ML results measure Bend 2.0.3, with a separate 2.0.26 comparison; newer ML comparisons against PyTorch use pinned upstream main.
• eco-bench - Reproducible AMAGE Eco and GPUI comparisons with raw logs and methodology; measured on Bend 2.0.35 with X11/XWayland, without native Wayland results.

Papers

• BendTT - Affine dependent type theory.
• BendRT - Parallel runtime for CPUs and GPUs.
• bendtt.lean - BendTT kernel and its proofs in Lean, used to recheck proofs with bend PROOF.bend --verdict.

Community

• Discord - Official chat.
• X - Official account.
• Reddit - Official subreddit.
• Issues - Bug reports and language discussion.
• Built with Bend - Human-reviewed directory of Bend 2 apps and demos (repo).

Related

• Bend 1 - Previous language (HVM2). Programs do not carry over.
• awesome-bend (archived) - Tools and editor plugins for Bend 1.

Contributing

Contributions welcome. See CONTRIBUTING.md.