欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
MariaDB
来自开放百科 - 灰狐
Mariadb, a MySQL branch with the Maria storage engine
MariaDB is a community developed branch of MySQL. It's a branch of MySQL (ie, we are keeping our code in sync with MySQL) and contains in addition the Maria storage engine, updated version of other storage engines and extensions.
Links
分享您的观点
