欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
BAOW
来自开放百科 - 灰狐
BAOW is a lightweight content manage system.
Features
- BBS or forum system, like phpBB.
- Documents manage.
- News manage.
- Private messages.
- with some Wiki or Blog features.
- use MoinMoin Wiki marks to edit your contents
- Unicode (utf-8) support
- International support
- built in HTML widget, like GTK
- easy to extend and maintain.
- user manage and role check and manage.
分享您的观点
