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

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

• XWiki (包含) ‎ (←链入页面)
• SOA (包含) ‎ (←链入页面)
• Firebird (包含) ‎ (←链入页面)
• Dev-C++ (包含) ‎ (←链入页面)
• GForge (包含) ‎ (←链入页面)
• SMF (包含) ‎ (←链入页面)
• PunBB (包含) ‎ (←链入页面)
• JForum (包含) ‎ (←链入页面)
• JavaBB (包含) ‎ (←链入页面)
• MvnForum (包含) ‎ (←链入页面)
• Gallery (包含) ‎ (←链入页面)
• SPGM (包含) ‎ (←链入页面)
• EasyGallery (包含) ‎ (←链入页面)
• PhpGraphy (包含) ‎ (←链入页面)
• OsCommerce (包含) ‎ (←链入页面)
• PhpShop (包含) ‎ (←链入页面)
• Zen Cart (包含) ‎ (←链入页面)
• Collaborative software (包含) ‎ (←链入页面)
• EGroupWare (包含) ‎ (←链入页面)
• PhpGroupWare (包含) ‎ (←链入页面)
• NetOffice (包含) ‎ (←链入页面)
• Open-Xchange (包含) ‎ (←链入页面)
• Moodle (包含) ‎ (←链入页面)
• Dokeos (包含) ‎ (←链入页面)
• ATutor (包含) ‎ (←链入页面)
• CRM (包含) ‎ (←链入页面)
• SugarCRM (包含) ‎ (←链入页面)
• Vtiger CRM (包含) ‎ (←链入页面)
• Compiere (包含) ‎ (←链入页面)
• Opentaps (包含) ‎ (←链入页面)
• Celtix (包含) ‎ (←链入页面)
• Open ESB (包含) ‎ (←链入页面)
• Mule (包含) ‎ (←链入页面)
• Google (包含) ‎ (←链入页面)
• Web server (包含) ‎ (←链入页面)
• Workflow (包含) ‎ (←链入页面)
• JBoss BPM (包含) ‎ (←链入页面)
• OSWorkflow (包含) ‎ (←链入页面)
• ActiveBPEL (包含) ‎ (←链入页面)
• Apache ActiveMQ (包含) ‎ (←链入页面)
• Internet (包含) ‎ (←链入页面)
• Yahoo (包含) ‎ (←链入页面)
• EBay (包含) ‎ (←链入页面)
• EMule (包含) ‎ (←链入页面)
• BitTorrent (包含) ‎ (←链入页面)
• Shareaza (包含) ‎ (←链入页面)
• Vuze (包含) ‎ (←链入页面)
• Development (包含) ‎ (←链入页面)
• Anjuta (包含) ‎ (←链入页面)
• Framework (包含) ‎ (←链入页面)