欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
NetDirector
来自开放百科 - 灰狐
open source configuration management
NetDirector is a Web-based Linux and Solaris systems administration platform that provides secure, easy-to-use, one-to-many management of popular UNIX services running on a wide variety of Linux and UNIX platforms.
Links
分享您的观点
