欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Kai
来自开放百科 - 灰狐
Kai is a distributed key-value datastore mainly inspired by Amazon Dynamo. It brings high scalability and availability to your Web sites. You can manage variety of contents with Kai, as if Dynamo stores shopping carts, catalogs, and so forth.
Links
分享您的观点
