google/leveldb：LevelDB 是一个由 Google 编写的快速键值存储库，它提供从字符串键到字符串值的有序映射。