builtwithbend
34 views in the last 24 hours

Website

2 builds · page 1 of 1

Clear filters
aaaxnLibraries
↗

bend-visgraph

A Bend 2 library and command-line tool for building natural, horizontal, and limited-penetrable visibility graphs from time series. It ports ts2vg graph kernels using F32 arithmetic and provides parallel graph construction.

GitHubWebsite
☆ 0
bendlibLibraries
↗

bendlib

Foundation library for Bend 2 with reusable machine-checked lemmas, a law counterexample checker, source reader, and generated package documentation.

GitHubWebsite
☆ 5
Curated by LVTDBuilt for the people building.