14 builds · page 1 of 1
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…
Bend 2 implementation of Llama-architecture language-model inference for three SmolLM2 sizes. Typed weight shapes and checked structural laws accompany CPU generation; the repository compares output against PyTorch.
Machine-learning packages for Bend 2 with shape-typed tensors, automatic differentiation, and MNIST and GPT-2 small demos.
Composable compiler frontend for Bend 2, written in Bend. Checks types, quantities, termination, and proofs, then exports a typed, serializable Core.Program for custom backends without executing the input. Includes a CLI and JavaScript int…
Bend 2 exploration with a small HTTP server, laws and proofs, notes, and explanatory slides from a cloud-development experiment.
Experimental browser lab that checks Bend 2 source, lowers supported terms through a CUDA runtime into WGSL, and runs them with WebGPU; it does not implement full BendRT compatibility.
Experimental GDExtension binding that lets Godot run Bend 2 game programs, with a Pong example.
Work-in-progress Bend 2 port of the JSONL-only br issue tracker; source builds a Bend program, with no release yet.
Unofficial Nix flake packaging Bend 2 as a pinned derivation, with optional CUDA support.
A Bend 2 port of Vegeta's HTTP load-testing attack and report commands, shared by Vegeta author Tomas Senart. It generates HTTP traffic and produces compatible CSV/JSON results and text, JSON, or histogram reports. The port uses a laws-fi…
A linter, checker, and language server for Bend 2, written in Bend and paired with a VS Code extension. Configurable rules flag issues such as unused names, unfinished holes, suspicious recursion, formatting, and law coverage. The languag…
Native networking, application, and storage building blocks for Bend 2. Stiff provides HTTP clients and servers, routing, schema validation, streaming and server-sent events, observability helpers, and SQLite-backed local state with idempo…
Call Bend code from Elixir through a compiled port executable or an experimental NIF. Bend functions become callable Elixir module functions, with Mix build integration and support for supervising the port process. The supported 0.1.x int…
A fractal-tree explorer demonstrated by Sandipan Kundu on X. Adjust generations, branch angle, length ratio, and leaf color, choose Birch, Fern, or Coral presets, and export the result as SVG. The author describes a Bend 2 generator that …
