Explore what people are making with Bend 2.
Discover the language behind the projects.
Meet Bend 2 ↗59 builds · page 1 of 3
Clear filtersAn early Bend 2 library collection containing list operations, algebraic structures, booleans and proof examples. The repository preserves experimental Bend library code from 2025; compatibility with current Bend releases is not establishe…
A functional reactive programming library implemented in Bend 2, with behaviors, timed events and stepwise state machines. Its web layer represents views and effects as data, with a JavaScript runtime that patches the DOM. Includes law and…
An unofficial collection of functions and types for the original Bend language. Its Bend source modules cover lists, binary trees, bits, Booleans, options and pairs; additional modules described in the README are plans rather than implemen…
A Bend 2 reimplementation of the json1 operational-transformation type for collaborative JSON editing. Its Bend modules compile to JavaScript for a ShareDB adapter, with laws and proofs covering the model and transformations; custom subtyp…
A program-running library for Bend 2 that accepts argument lists without a shell and returns exit status with combined standard output and error. It supports background starts and parallel jobs, rejecting missing program names and NUL-cont…
A Bend 2 date-time library for Gregorian dates, UTC instants, durations, calendar periods, ISO weeks and text formats. Time-zone support is packaged separately; it does not provide a clock, and the README documents version-specific compati…
A small Bend 2 scanning library with cursor tracking, character and literal matching, bounded decimal parsing, and end-of-input checks. It was built for date-time parsing in bend-time and is not a parser-combinator framework.
A Bend 2 encoding library for hexadecimal, standard and URL-safe Base64, and UTF-8. It uses a shared checked-byte representation and rejects malformed input rather than silently accepting invalid encodings.
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 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 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 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 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 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.
An alpha collection of Bend 2 packages covering bytes, networking, HTTP, and related utilities. Packages have their own laws and BendHub versions.
A JSON schema library with a checker implemented in Bend and machine-checked laws. It exposes TypeScript and Bend usage and reports validation errors with paths.
A work-in-progress Bend 2 port of Edlib-style edit distance and sequence alignment, with a command-line interface and support for distance, location, and alignment-path outputs.
Experimental PyTorch-like F32 tensor library written in Bend 2. It currently covers shapes, storage, elementwise operations, reductions, matrix multiplication, transforms, and early autograd building blocks; it is not a Python API or drop-…
Foundation library for Bend 2 with reusable machine-checked lemmas, a law counterexample checker, source reader, and generated package documentation.
Work-in-progress entity-component-system library written for Bend 2, with typed components, queries, systems and schedules plus runnable examples.
