Explore what people are making with Bend 2.
Discover the language behind the projects.
Meet Bend 2 ↗61 builds · page 1 of 3
Clear filtersAn early Visual Studio Code extension for Bend syntax highlighting. Its TextMate grammar covers imperative and functional syntax, definitions, pattern matching and HVM-related constructs.
A port of Bend 2 to the Substrate language, expressing its dependently typed language as s-expressions. It includes a type checker, part of the Base library and tests.
A preprocessor written in Bend 2 that translates .blend modules into Bend source files. It adds static objects, multiple inheritance, mixins, and definition overrides, emitting separate code, law, and proof files for concrete objects.
A drawing language and renderer for still frames and animation. Its Linux native pipeline uses MoonBit for parsing, Bend 0.2/HVM2 to evaluate independent swarm agents, and GLSL for rasterisation. A separate Python reference renderer provid…
An archived Rust language server for the original Bend language, offering compiler diagnostics and tree-sitter-based semantic highlighting. Includes a VS Code extension; this alpha project targets the earlier Bend toolchain, not Bend 2.
A personal Git forge and isolated agent runner. Bend 2 implements permission decisions, lifecycle plans, domain validation and capability limits, while a TypeScript host supplies HTTP, PostgreSQL, Git and sandbox integration.
Bend 2 pocket workshop is a browser workspace for writing, checking and running Bend 2 programs without installing a compiler. It combines an editor, proof-hole goals, examples, the language guide and compiler output in one page. Its phone…
A VCF variant normalizer written in Bend 2. It left-aligns and trims genomic variants against a reference sequence, with behavioral laws and proof files for its normalization specification; the native file-I/O driver is a separate trusted …
A Tree-sitter grammar and syntax-highlighting queries for Bend 2. The repository includes a generated C parser, language bindings, and Neovim setup instructions for highlighting Bend definitions, dependent types and proof constructs.
A Linux storage dashboard with application logic and terminal rendering written in Bend. A native C layer supplies filesystem statistics and concurrent directory scanning; it supports interactive browsing and plain or JSON output.
A VS Code development container for the original Bend language, based on an NVIDIA CUDA image. It installs HVM, Bend and an editor extension, and includes example Bend programs.
A Docker-based proof of concept for running the original Bend language. Its Rust container installs HVM and bend-lang and runs a small Bend hello-world program.
A Bend 2 rewrite of the pi coding-agent core, with streaming provider connections, file and shell tools, session persistence, a terminal UI, and RPC mode. Its agent decisions are modeled as a pure state machine.
A VS Code extension for the original Bend language, providing syntax highlighting, formatting, snippets, and sidebar commands for checking, running, and generating code. It targets the earlier Bend/HVM toolchain, not Bend 2.
Curated list of Bend 2 packages, tools, examples, learning material, benchmarks, and community resources, with version and compatibility notes.
Command-line client for reading and posting to X, rewritten in Bend 2. Its pure policy and request-handling core is organized around machine-checked laws, with shell and network effects at the edge.
Experimental Vulkan backend for a pinned Bend 2 compiler, with typed lowering, GLSL emission, bounded runtime bridges, and CPU reference checks. It is not a complete or upstream-supported backend.
Tree-sitter grammar for Bend 2 with Neovim highlighting, folding, indentation, textobjects and symbol queries.
Build tool for AMAGE Eco Bend 2 programs that splits emitted C into parallel cached compilation units.
Search engine for BendHub package definitions that mirrors Bend source, indexes signatures and exposes a searchable API.
Linter and formatter for Bend 2 source files that uses Bend’s type checker and configurable rules to report or fix findings.
Bend 2-powered IMAP/SMTP connector for AI agents with CLI and MCP interfaces; a C helper handles TLS.
Forge CLI for Gitea, Forgejo, and GitHub written in Bend 2, with issue, pull-request, and run commands.
Build tool that compiles pure Bend 2 functions to typed JavaScript ES modules and TypeScript declarations.
