欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜: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
Install
from http://download.huihoo.com/opensymbolic/ 如: symbolic-1.1.0-src.tar.gz cd symbolic grails run-app http://localhost:8080/symbolic/ root/pass
Components
Links
分享您的观点