Explore what people are making with Bend 2.
Discover the language behind the projects.
Meet Bend 2 ↗14 builds · page 1 of 1
Clear filtersA 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 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 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…
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 SAT solver written in Bend 2, with watched literals, clause learning, and a Bend checker for candidate models and resolution certificates. The repository documents the boundaries of its machine-checked proofs.
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.
Research toolkit that models software behavior as Bend 2 laws, checks proofs or counterexamples, and replays findings against source implementations. Its initial milestones cover Morph header codecs and a Rollup state machine.
Research benchmark comparing the AMAGE Eco UI toolkit written in Bend 2 with GPUI on matched scenes and hardware, with methodology, tooling, and raw results.
Experimental, incomplete Rust implementation of a Bend 2 proof-language subset, with checking, evaluation and JavaScript/C generation.
Bend 2 exploration with a small HTTP server, laws and proofs, notes, and explanatory slides from a cloud-development experiment.
Benchmark suite comparing Bend programs against C/OpenMP CPU and CUDA GPU implementations across parallel workloads.
An experimental symbolic-regression implementation in Bend 2 that searches for mathematical expressions fitting a dataset. It represents candidate formulas as expression trees and evolves them through fitness evaluation, tournament selecti…
A Bend 2 implementation of the Ray Tracing in a Weekend scene, ported from the author's Nim version. It renders a scene of spheres to TGA, with optional PPM output and configurable sample counts. Rendering splits interleaved image rows ac…
A compact quantum-circuit simulator written in Bend 2, with gates, controlled operations, measurement, and sampling. Examples cover Bell and GHZ states, teleportation, the quantum Fourier transform, and Grover's algorithm. Quantum states …
