lawful-bytes
A Bend 2 packed-byte buffer library using four bytes per U32 word. It provides byte access, append, search, comparison and streaming helpers, with laws and proof files describing results as plain byte lists.
The sources
Explore the original posts and links behind this build.
GitHubhttps://github.com/luiscleto/lawful-bytes ↗GitHubhttps://github.com/luiscleto/lawful-bytes/blob/main/README.md ↗GitHubhttps://github.com/luiscleto/lawful-bytes/blob/main/bytes.bend ↗