WanShi
An 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…
4 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…
Machine-learning packages for Bend 2 with shape-typed tensors, automatic differentiation, and MNIST and GPT-2 small demos.
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…