欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
IT management
来自开放百科 - 灰狐
开源项目
- Babel Enterprise - http://babel.sourceforge.net/
- BigSister - http://www.bigsister.ch/
- Enomalism - http://www.enomalism.com/
- Nagios - http://www.nagios.org/
- NetDirector - http://www.netdirector.org/
- NodeDirector - http://nodedirector.bigsister.ch/
- openEMS - http://www.openems.org/
- openQRM - http://openqrm.org/
- openSIMS - http://opensims.org/
- Pandora - http://pandora.sourceforge.net/
- Webmin - http://www.webmin.com/
- Zenoss - http://www.zenoss.org/
分享您的观点