欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
EasyStack
来自开放百科 - 灰狐
EasyStack 成立于 2014 年 2 月 , 由中国最早从事 OpenStack 研发的 IBM 中国研发中心的核心团队创建，基于 OpenStack、Ceph、Kubernetes、Docker 等一系列开源软件为企业级客户提供开放、稳定可靠、高性能的云计算产品与服务。
目录 |
新闻
简介
EasyStack创业时的技术核心来自IBM的OpenStack研发团队，在之前的工作经验里，IBM全球对于OpenStack代码贡献的一半就来自这个核心团队。
项目
图集
链接
分享您的观点
