BendKV
Research-prototype Redis-compatible key-value server written in Bend 2, with a formally verified core and RESP2 support.
The sources
Explore the original posts and links behind this build.
GitHubhttps://github.com/littleBro/BendKV ↗GitHubhttps://github.com/littleBro/BendKV/blob/main/README.md ↗GitHubhttps://github.com/littleBro/BendKV/blob/main/src/server.bend ↗