欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Bucardo
来自开放百科 - 灰狐
Bucardo 是一个PostgreSQL的异步同步工具，它支持任意方式的主从同步，multi-master或者multi-slave等。新版Bucardo可将数据同步到其他存储系统，如MongoDB。
链接
分享您的观点
