欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Deis
来自开放百科 - 灰狐
deis:使用 Go 和 Python 语言开发的开源(Apache V2) PaaS,基于 Docker、CoreOS 构建。
目录 |
版本
- Deis v2 Design Document,Deis V2 将基于 Kubernetes 构建。
安装
指南
存储
图集
链接
分享您的观点