欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Stackato
来自开放百科 - 灰狐
Stackato 是 ActiveState 推出的云应用框架,用于构建一个多语言、安全、私有的 Platform as a Service (PaaS)。
指南
通过安装 Stackato VM 快速部署 Stackato Micro Cloud
安装客户端去远程连接和管理Stackato Micro Cloud
stackato help stackato target https://api.stackato-145.local Successfully targeted to [1] stackato login Attempting login to [2] Email: [email protected] Password: ********* Successfully logged into [3] Reset current group: OK
图集
链接
分享您的观点