Explore what people are making with Bend 2.
Discover the language behind the projects.
Meet Bend 2 ↗3 builds · page 1 of 1
Clear filtersAn independent documentation site and coursebook for Bend 2, HVM and interaction nets. The repository contains tutorials, exercises, worked solutions and reference compilations, built into a static website.
A Chinese-language Bend 2 course with runnable examples, proof exercises, a reference sheet, and Windows/Bun setup scripts. It covers language fundamentals, affine usage, parallelism, and the laws-and-proofs workflow.
A Japanese introductory textbook and runnable Bend 2 examples that teach the language by building Conway’s Game of Life, including terminal rendering, parallel computation, and proof exercises.
