PhylliidaApps & websites
↗
bend-cad
An experimental CAD project in Bend 2 with a sketch-solver design and Bend source for geometry and constraint-solving components.
☆ 0
GitHub
166 builds · page 3 of 7
Clear filters
paymogLibraries
↗
bend-kit
An alpha collection of Bend 2 packages covering bytes, networking, HTTP, and related utilities. Packages have their own laws and BendHub versions.
☆ 13
nohzafkLibraries
↗
bend-schema
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.
☆ 2
jware-solutionsLibraries
↗
bend-edit-distance
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.
☆ 0
sebastian-griegoResearch & experiments
↗
bend-sat
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.
☆ 0
aaaxnLibraries
↗
bendtorch
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-…
☆ 1
nuxyelResearch & experiments
↗
llama.bend
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.
☆ 16
algasGames
↗
Bend 2 8-Puzzle Solver
Bend 2 example that solves eight-puzzle boards with iterative-deepening search and supplies checked laws showing which example boards are solvable or unsolvable.
☆ 0
777geniusDeveloper tools
↗
Awesome Bend
Curated list of Bend 2 packages, tools, examples, learning material, benchmarks, and community resources, with version and compatibility notes.
☆ 26
bendlibLibraries
↗
bendlib
Foundation library for Bend 2 with reusable machine-checked lemmas, a law counterexample checker, source reader, and generated package documentation.
☆ 5
syntheticintelligence1-pngResearch & experiments
↗
HOLON
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.
☆ 1
bangedorruntDeveloper tools
↗
bird (Bend rewrite)
Command-line client for reading and posting to X, rewritten in Bend 2. Its pure policy and request-handling core is organized around machine-checked laws, with shell and network effects at the edge.
☆ 0
monotykamaryApps & websites
↗
Reflex
Mac menu-bar and phone companion for monitoring and routing terminal coding-agent sessions. Its routing and dispatch daemon core is written in Bend 2, with laws for key safety rules.
☆ 9
amage-siResearch & experiments
↗
AMAGE Eco vs GPUI
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.
☆ 2
lhemerlyDeveloper tools
↗
Bend Vulkan
Experimental Vulkan backend for a pinned Bend 2 compiler, with typed lowering, GLSL emission, bounded runtime bridges, and CPU reference checks. It is not a complete or upstream-supported backend.
☆ 0
dearlordylordLibraries
↗
bendvy
Work-in-progress entity-component-system library written for Bend 2, with typed components, queries, systems and schedules plus runnable examples.
☆ 2
kbrianpsGames
↗
Bendoom (kbrianps)
Early-stage Doom-format WAD and automap reader written in Bend 2; currently reads map lumps and renders automap images.
☆ 5
TeamDmanResearch & experiments
↗
teamy-bend
Experimental, incomplete Rust implementation of a Bend 2 proof-language subset, with checking, evaluation and JavaScript/C generation.
☆ 2
SoulthymDeveloper tools
↗
Tree-sitter Bend 2 (Soulthym)
Tree-sitter grammar for Bend 2 with Neovim highlighting, folding, indentation, textobjects and symbol queries.
☆ 4
amage-siLibraries
↗
Kinera
Motion math library written in Bend 2 for the AMAGE UI ecosystem, with easing curves, springs and retargetable motion values.
☆ 0
amage-siDeveloper tools
↗
eco-build
Build tool for AMAGE Eco Bend 2 programs that splits emitted C into parallel cached compilation units.
☆ 0
LeeeeTDeveloper tools
↗
JendHub
Search engine for BendHub package definitions that mirrors Bend source, indexes signatures and exposes a searchable API.
☆ 3
littleBroApps & websites
↗
BendKV
Research-prototype Redis-compatible key-value server written in Bend 2, with a formally verified core and RESP2 support.
☆ 0
MattCozendeyDeveloper tools
↗
bend-lint
Linter and formatter for Bend 2 source files that uses Bend’s type checker and configurable rules to report or fix findings.
☆ 3