欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Grafana 是面向 Graphite, InfluxDB & OpenTSDB 开源(Apache v2)可视化仪表盘,使用 Go 和 Node.js 开发。
Grafana-Zabbix 在线演示
仪表盘
Zabbix