欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
OpenWeb
ActiveWeb is a web build system which is based on the open source wiki,blog,bbs,cms software,offers more integration features and easy install,deploy,use.
ActiveWeb主要是完成一些流行系统的整合和再分发,提供一套完整的社区解决方案.
ActiveWeb 1.0 based on Django + Pinax + Satchmo + Xapian 更多的Django组件和扩展
ActiveWeb类型
开发出 ActiveWeb core, plugin, framework 后,用户可根据选择自由组建自己的交互 Web 系统。
让 ActiveWeb 支持更多的 CMS , Blog, Forum, Wiki
- ActiveWeb-Rails
基于 Typo, Bitswiki, RForum 等应用和框架构建.
- ActiveWeb-Grails
Grails的ActiveWeb分发包。
Groovy and Grails == The Next Generation of Java
- ActiveWeb-LiveJournal
基于 LiveJournal 的社区构建
- ActiveWeb-PHP
整合应用包括:
Community based on phpBB
or Drupal + phpBB + WordPress ...
- ActiveWeb-C/C++ // 面向C/C++程序员的Web开发框架
基于Witty, GNU cgicc, FastCGI 等项目构建
- ActiveWeb-Python
整合应用包括: Plone + Frog + MoinMoin ...
- ActiveWeb-Java
整合应用包括: OpenCms + mvnForum or JForum or JavaBB + roller + xwiki ...
- Mailing List Servers
整合应用包括: Mailman, poMMo , phplist