欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
MPTStore is a Java library for projects that need persistent, transaction-capable storage and querying of very large quantities of RDF data.
popular RDF storage engines including Jena, Sesame, and 3store.
http://mptstore.sourceforge.net/