3 builds · page 1 of 1
Clear filters
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…
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…
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…
