欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Hypertable
Hypertable is a high performance distributed data storage system designed to support applications requiring maximum performance, scalability, and reliability.
Hypertable will be particularly invaluable to any organization that needs to manage rapidly evolving data to support demanding real-time applications. Modeled after Google's well known BigTable project, Hypertable is designed to manage the storage and processing of information on a large cluster of commodity servers, providing resilience to machine and component failures. Hypertable seeks to set the open source standard for highly available, petabyte scale, database systems.
GNU General Public License Version 2.
我们希望Hypertable能在很多Web Service应用中取代MySQL Hypertable项目的创立者Doug Judd