C codeberg.org Aether: High-performance, formally-verified storage engine written in Rust 37 points dboreham 5 months ago 14 comments
