欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
OpenSymbolic
来自开放百科 - 灰狐
Symbolic is a web application which aim to simplify the management within complex enterprise infrastructures. Symbolic is designed as front-end of Fedora Unified Network Controller (Func) and allow to manage a huge quantity of machines, networks and environments.
GPL Licence
Features
- Certified on RedHat Application Stack
- Func powered back-end
- Support on RHEL/Centos and Fedora
- Advanced drag and drop tagging management
- User, host and operations flexible management
- Groups and authorities manageable by tagging
- Advanced WebBased Ajax Interface
- Support LDAP and local authentication
- JEE Standard Compliant
- Completly customizable operations
- Users and Hosts flexible management
- Secure SSL guest connection
Components
Links
分享您的观点