欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
PalDB 是LinkedIn使用Java开发的开源(Apache v2)的只读键值存储数据库。
一个可嵌入的键值对存储数据库,比LevelDB快8倍,并且内存占用比hashset少数个量级。