欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Jmatrix是一套基于struts+sitemesh+spring+ibatis 架构的全站CMS系统. 基于web2.0. 对多种浏览器兼容性较好.
目前Matrix使用的正是Jmatrix的测试版本。
在稳定之后, Jmatrix将会release 所有的源代码, 作为一款开源CMS产品发布. 不过目前插件系统正在架构和完善当中
http://wiki.matrix.org.cn/Wiki.jsp?page=Jmatrix