欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Mantl
来自开放百科 - 灰狐
(版本间的差异)
(以“Mantl ==新闻== *[http://www.infoq.com/cn/news/2016/03/cisco-mantl-microservices 通过Cisco发布的Mantl 1.0创建微服务基础设施] (2016.03) ==简介== Ma...”为内容创建页面) |
2018年1月23日 (二) 11:08的版本
Mantl
目录 |
新闻
- 通过Cisco发布的Mantl 1.0创建微服务基础设施 (2016.03)
简介
Mantl为用户提供了部署微服务平台所需的所有基础设施组件。
组件
指南
项目
图集
链接
分享您的观点