欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
MiniCMS
来自开放百科 - 灰狐
miniCMS, the light-weight content management system
Features
- Simple interface that anybody can understand
- Powerful yet simple markup language
- Easy to set up
- No database or server scripting extensions
- Runs on all major hosting platforms - Windows, Linux, FreeBSD, Solaris
- Open Source Software, so you can run it without paying for it
- Completly customizable from source, or by arrangement with Lazarus Internet Development
分享您的观点