欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Apache Software Foundation
来自开放百科 - 灰狐
（版本间的差异）
| 第1行： | 第1行： | ||
| − | Apache Software Foundation 项目 | + | Apache Software Foundation 项目, 更多细节: http://projects.apache.org |
==build-management== | ==build-management== | ||
| − | *Apache Forrest - http://forrest.apache.org/ | + | *[[Apache Forrest]] - http://forrest.apache.org/ |
| − | *Apache Ant - http://ant.apache.org/ | + | *[[Apache Ant]] - http://ant.apache.org/ |
| − | *Apache Gump - http://gump.apache.org/ | + | *[[Apache Gump]] - http://gump.apache.org/ |
| − | *Apache Maven - http://maven.apache.org/ | + | *[[Apache Maven]] - http://maven.apache.org/ |
| + | |||
| + | ==database== | ||
| + | *Apache Jackrabbit - http://jackrabbit.apache.org/ | ||
| + | *Apache Hadoop - http://lucene.apache.org/hadoop/ | ||
| + | *Apache Lucene Java - http://lucene.apache.org/java/ | ||
2006年8月15日 (二) 20:09的版本
Apache Software Foundation 项目, 更多细节: http://projects.apache.org
build-management
- Apache Forrest - http://forrest.apache.org/
- Apache Ant - http://ant.apache.org/
- Apache Gump - http://gump.apache.org/
- Apache Maven - http://maven.apache.org/
database
- Apache Jackrabbit - http://jackrabbit.apache.org/
- Apache Hadoop - http://lucene.apache.org/hadoop/
- Apache Lucene Java - http://lucene.apache.org/java/
分享您的观点
