166 builds · page 1 of 7
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…
An early Visual Studio Code extension for Bend syntax highlighting. Its TextMate grammar covers imperative and functional syntax, definitions, pattern matching and HVM-related constructs.
An independent documentation site and coursebook for Bend 2, HVM and interaction nets. The repository contains tutorials, exercises, worked solutions and reference compilations, built into a static website.
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 card-driven, 7×7 football-inspired board game. Its game rules, deck and bot are implemented in Bend 2 and compiled to JavaScript for a React-based browser client; the repository also includes Bend laws and proofs, some marked as unfinish…
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…
A collection of original Bend algorithm examples, including sorting, Fibonacci, numeric summation and tree reduction, alongside Rust, C and CUDA versions. The repository includes a table of recorded timings; the listing does not independen…
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 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 Python toolkit for meta-analysis of continuous outcomes, with a separate Bend 2 proof suite for discrete arithmetic and structural models. Those Bend laws do not establish correctness of the Python engine or its floating-point calculatio…
A command-line Nostr client implemented in Bend 2, with JSON, WebSocket framing and signature verification modules. It requests recent notes and prints verified events; secure relay connections use a separate Rust TLS proxy.
A KDE Plasma 6 live-wallpaper project supporting video, scenes and web wallpapers. Bend 2 provides scene-parsing and probe/check modules alongside a C/Qt playback host; compatibility with Wallpaper Engine assets is partial.
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 survival-action game demonstrating the Bendvy entity-component system. Combat, movement, pickups and progression run in Bend; the browser edition wraps the compiled simulation with browser input and presentation adapters, while native pl…
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.
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…
An early route-planning experiment for a fictional auto-appraisal company. Bend implements domain rules, plan checking, same-day route repair and a straight-line planner; the Preact web application remains a skeleton and is not yet wired t…
A research prototype combining Qwen3.5 with a constructed execution engine for BendLite, a limited subset of Bend 2. It generates and evaluates small programs inside model weights; it does not check Bend laws or prove that a generated prog…
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.
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…
