nuxyelDeveloper tools
↗
Bend 2 for VS Code (nuxyel)
Preview VS Code extension for Bend 2 with highlighting, formatting, compiler checks and a proof explorer.
☆ 1
167 builds.
All made with Bend.
Explore what people are making with Bend 2.
A different way to build.
Discover the language behind the projects.
Meet Bend 2 ↗61 builds · page 3 of 3
Clear filters
dearlordylordDeveloper tools
↗
Bend 2 for IntelliJ IDEA
IntelliJ IDEA plugin for Bend 2 editing, navigation, completion and compiler diagnostics.
☆ 2
tesla-radulovicDeveloper tools
↗
bend2-nix
Unofficial Nix flake packaging Bend 2 as a pinned derivation, with optional CUDA support.
☆ 1
Fabian Vega (u/FabianVeAl)Developer tools
↗
Tree-sitter Bend (Fabian Vega)
A reusable Tree-sitter grammar for Bend 2 syntax, maintained separately from the Zed extension that consumes it. It parses imports, data types, functions, laws, pattern matching, do-notation, parallel bindings, rewrites, dependent types, a…
☆ 0
Fabian Vega (u/FabianVeAl)Developer tools
↗
Bend for Zed
Bend 2 language support for the Zed editor, with syntax highlighting, code outlines, snippets, and inline diagnostics. A language-server shim invokes the Bend checker and supplies hover information from local function signatures and the ba…
☆ 0
@tsenartDeveloper tools
↗
Vegeta in Bend
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…
☆ 25244♡ 11
@Grave565Developer tools
↗
bolt
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…
☆ 0♡ 1
LulzxDeveloper tools
↗
bendc
A self-hosting compiler for Bend 2 written in Bend 2. It type-checks and translates Bend programs into C, with an additional JavaScript output path and a runtime supporting effects and parallel execution. The repository includes a bootstr…
☆ 30
MatheusBBarniDeveloper tools
↗
Knot
An early native JavaScript toolchain written in Bend 2. Current functionality includes an npm-compatible package-management path, dependency inspection, TypeScript-subset transpilation, import scanning, and initial build/watch commands. B…
☆ 2
kirillleventcovDeveloper tools
↗
bendirstat
A disk-usage analyzer with terminal reports and an interactive treemap. Explore the largest directories and files, inspect usage by extension, or zoom into a visual map of the scanned tree. A native C effect performs filesystem scanning; …
☆ 1
MatheusBBarniDeveloper tools
↗
BendJVM
An experimental Java Virtual Machine interpreter implemented in Bend 2. It reads Java class files, validates and decodes bytecode, and executes a focused Java 8 compatibility subset. Bend owns classes, call frames, operand stacks, static …
☆ 3
iamsahilsonawaneDeveloper tools
↗
Bend HTTP Server
An HTTP/1.1 server in Bend 2 with concurrent connection handling and routes that demonstrate CPU-parallel and GPU-dispatched computation. Health and runtime-information endpoints make the example easy to inspect. Request parsing and routi…
☆ 1
nicolas-abrilDeveloper tools
↗
Bend Tar
A command-line archiver written in Bend that creates, lists, and extracts ustar archives, with optional gzip compression. Its Bend implementation includes a DEFLATE encoder and decoder using LZ77 and Huffman coding. A matching C implement…
☆ 0