欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
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
	分享您的观点