欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp

以下页面链接至模板:Comment：

• 沙盒 (包含) ‎ (←链入页面)
• WebWork (包含) ‎ (←链入页面)
• Apache Struts (包含) ‎ (←链入页面)
• Hibernate (包含) ‎ (←链入页面)
• PhpPgAdmin (包含) ‎ (←链入页面)
• Willow (包含) ‎ (←链入页面)
• Lighttpd (包含) ‎ (←链入页面)
• Thttpd (包含) ‎ (←链入页面)
• JFox (包含) ‎ (←链入页面)
• 参与维护 (包含) ‎ (←链入页面)
• Flock (包含) ‎ (←链入页面)
• Firefox (包含) ‎ (←链入页面)
• Middleware (包含) ‎ (←链入页面)
• Berkeley DB (包含) ‎ (←链入页面)
• IBM WebSphere (包含) ‎ (←链入页面)
• Apache Geronimo (包含) ‎ (←链入页面)
• DragonFlyBSD (包含) ‎ (←链入页面)
• OpenBSD (包含) ‎ (←链入页面)
• CentOS (包含) ‎ (←链入页面)
• Gentoo Linux (包含) ‎ (←链入页面)
• OpenSolaris (包含) ‎ (←链入页面)
• IBM AIX (包含) ‎ (←链入页面)
• Apache Derby (包含) ‎ (←链入页面)
• SQLite (包含) ‎ (←链入页面)
• GlassFish (包含) ‎ (←链入页面)
• JOnAS (包含) ‎ (←链入页面)
• JBoss (包含) ‎ (←链入页面)
• JBoss Web Server (包含) ‎ (←链入页面)
• Resin (包含) ‎ (←链入页面)
• TAO (包含) ‎ (←链入页面)
• ICE (包含) ‎ (←链入页面)
• Huihoo (包含) ‎ (←链入页面)
• JFoxMX (包含) ‎ (←链入页面)
• EnterpriseCRM (包含) ‎ (←链入页面)
• OpenWeb (包含) ‎ (←链入页面)
• C programming language (包含) ‎ (←链入页面)
• Perl (包含) ‎ (←链入页面)
• XML (包含) ‎ (←链入页面)
• JavaScript (包含) ‎ (←链入页面)
• Mambo (包含) ‎ (←链入页面)
• XOOPS (包含) ‎ (←链入页面)
• LifeType (包含) ‎ (←链入页面)
• Apache Roller (包含) ‎ (←链入页面)
• Wiki (包含) ‎ (←链入页面)
• MediaWiki (包含) ‎ (←链入页面)
• MoinMoin (包含) ‎ (←链入页面)
• PmWiki (包含) ‎ (←链入页面)
• JSPWiki (包含) ‎ (←链入页面)
• PhpWiki (包含) ‎ (←链入页面)
• DokuWiki (包含) ‎ (←链入页面)