bentdelta
VCDIFF delta encoder and decoder written in Bend 2, with a Bend proof of its encode/decode round-trip law for targets under 128 MiB.
The sources
Explore the original posts and links behind this build.
GitHubhttps://github.com/michaelsproul/bentdelta ↗GitHubhttps://github.com/michaelsproul/bentdelta/blob/main/README.md ↗GitHubhttps://github.com/michaelsproul/bentdelta/blob/main/main.bend ↗GitHubhttps://github.com/michaelsproul/bentdelta/blob/main/LAWS.bend ↗