欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
CloudScale是完整的系统和云计算监视和管理平台, 基于Enomalism 和 Zenoss 构建.
Zenoss提供基础的Application, Systems & Network Monitoring.
Enomalism提供云计算监视的基础功能.
Enomalism和Zenoss都使用Python开发, 方便整合, 可将Enomalism封装成ZenPack的形式而整合进Zenoss环境.
