builtwithbend
6 views in the last 24 hours
← Back to the collection

HOLON

Research & experiments · ☆ 1 GitHub stars

Built by syntheticintelligence1-png

Research toolkit that models software behavior as Bend 2 laws, checks proofs or counterexamples, and replays findings against source implementations. Its initial milestones cover Morph header codecs and a Rollup state machine.

View repository ↗

The sources

Explore the original posts and links behind this build.

GitHubhttps://github.com/syntheticintelligence1-png/HOLON ↗GitHubhttps://github.com/syntheticintelligence1-png/HOLON/blob/main/README.md ↗GitHubhttps://github.com/syntheticintelligence1-png/HOLON/tree/main/bend ↗
Curated by LVTDBuilt for the people building.