semi-persistent-containers-verus
Verus-verified semi-persistent core data structures with sparse snapshots and diff-proportional restore
View on Github
Activity
- Latest release
- 2w ago
- Total releases
- 2
- Cadence
- ~2 days
- Last 12 months
- 2
Reach
- Downloads
- 18
- Stars
- 16
Details
- License
- Apache-2.0
- First release
- Aug 26, 2026
Releases