Yes, Cozodb has mostly worked as documented for me and been a pleasure to work with (also for program static analysis, also using sorted trees and type-fu internally). The docs have enough for an initial comparison with the blog walk-through, esp. interesting work on optimizing queries. But if you're not working in-memory in rust, data serialization is costly, and the project is quiet at best.