Explore what people are making with Bend 2.
Discover the language behind the projects.
Meet Bend 2 ↗167 builds · page 2 of 7
A Bend 2 law and proof library relating U32 operations to natural-number arithmetic. It covers wrapping arithmetic, comparisons, shifts, masks and packed-byte helpers, providing a foundation for reasoning about word-based data.
A Bend 2 law and proof library describing the standard Array operations through lists of array leaves. It covers creation, size, access, updates, swaps and cloning, with explicit shape and depth conditions for the relevant laws.
A Bend 2 packed-byte buffer library using four bytes per U32 word. It provides byte access, append, search, comparison and streaming helpers, with laws and proof files describing results as plain byte lists.
A Bend 2 library for splitting packed byte ranges into fields and parsing or writing decimal numbers. Built on lawful-bytes, it includes laws and proof files connecting byte-level operations to list and text specifications.
A Bend 2 library for running a list of tasks through a balanced fork-join tree. It includes behavioral laws, proof files and checks that compare ordered results with sequential task execution.
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 Model Context Protocol library for Bend 2: build tool servers over stdio or stateless Streamable HTTP, or a client for stateless HTTP endpoints. It implements JSON-RPC messages including initialize, ping, tools/list and tools/call. The R…
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 browser Minesweeper game written in Bend 2, with a no-guess assist button. Its game logic and deduction engine are implemented in Bend; the repository includes laws and proof files for the game rules.
An experimental text-input application written in Bend, using SDL2 through WSL2 and WSLg on Windows. It renders a pixel font and handles typing, backspace, enter and line wrapping.
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 native Vulkan wrapper for Bend 2 on 64-bit Linux. It provides GPU buffers, memory management, command recording and indexed rendering, with headless examples and an interactive voxel demo.
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 pre-alpha web framework for Bend 2 with routing, middleware, HTTP handling, and a typed TypeScript client. Bend handlers compile to native binaries; the repository includes API and full-stack examples.
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 Chinese-language Bend 2 course with runnable examples, proof exercises, a reference sheet, and Windows/Bun setup scripts. It covers language fundamentals, affine usage, parallelism, and the laws-and-proofs workflow.
An educational in-memory key-value database implemented in Bend 2, with examples, scoped laws and proofs, and a browser learning lab. Its store uses a newest-first history with deletion markers; persistence is not implemented.
A terminal AI chat application written in Bend 2, porting UniiChat with binary-tree conversation summaries, tool execution, and agent coordination. It supports Claude Code CLI and Messages API backends.
A Bend 2 library and command-line tool for building natural, horizontal, and limited-penetrable visibility graphs from time series. It ports ts2vg graph kernels using F32 arithmetic and provides parallel graph construction.
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.
An experimental unit-aware calculation engine written in Bend, with SI dimension checking, unit conversion, exact-rational calculations, and a browser worksheet. An early proof of concept, not production engineering software.
A collection of reusable Bend 2 packages covering text scanning, XML, CSS, image decoding, SVG rendering, compression, archives, HTTP, and game rules. The repository includes Bend implementations, package documentation, and checks.
A Japanese introductory textbook and runnable Bend 2 examples that teach the language by building Conway’s Game of Life, including terminal rendering, parallel computation, and proof exercises.
