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

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

• Rails (包含) ‎ (←链入页面)
• Python (包含) ‎ (←链入页面)
• PHP (包含) ‎ (←链入页面)
• Perl (包含) ‎ (←链入页面)
• XML (包含) ‎ (←链入页面)
• JavaScript (包含) ‎ (←链入页面)
• Mambo (包含) ‎ (←链入页面)
• Drupal (包含) ‎ (←链入页面)
• XOOPS (包含) ‎ (←链入页面)
• WordPress (包含) ‎ (←链入页面)
• LifeType (包含) ‎ (←链入页面)
• Apache Roller (包含) ‎ (←链入页面)
• Wiki (包含) ‎ (←链入页面)
• MediaWiki (包含) ‎ (←链入页面)
• MoinMoin (包含) ‎ (←链入页面)
• PmWiki (包含) ‎ (←链入页面)
• JSPWiki (包含) ‎ (←链入页面)
• PhpWiki (包含) ‎ (←链入页面)
• DokuWiki (包含) ‎ (←链入页面)
• XWiki (包含) ‎ (←链入页面)
• SOA (包含) ‎ (←链入页面)
• InnoDB (包含) ‎ (←链入页面)
• Firebird (包含) ‎ (←链入页面)
• Dev-C++ (包含) ‎ (←链入页面)
• GForge (包含) ‎ (←链入页面)
• Trac (包含) ‎ (←链入页面)
• Apache Subversion (包含) ‎ (←链入页面)
• PhpBB (包含) ‎ (←链入页面)
• MyBB (包含) ‎ (←链入页面)
• SMF (包含) ‎ (←链入页面)
• Gallery (包含) ‎ (←链入页面)
• PhpGraphy (包含) ‎ (←链入页面)
• E-commerce (包含) ‎ (←链入页面)
• OsCommerce (包含) ‎ (←链入页面)
• Zen Cart (包含) ‎ (←链入页面)
• Collaborative software (包含) ‎ (←链入页面)
• EGroupWare (包含) ‎ (←链入页面)
• PhpGroupWare (包含) ‎ (←链入页面)
• DotProject (包含) ‎ (←链入页面)
• Open-Xchange (包含) ‎ (←链入页面)
• E-learning (包含) ‎ (←链入页面)
• Moodle (包含) ‎ (←链入页面)
• Dokeos (包含) ‎ (←链入页面)
• ATutor (包含) ‎ (←链入页面)
• C++ (包含) ‎ (←链入页面)
• CRM (包含) ‎ (←链入页面)
• ERP (包含) ‎ (←链入页面)
• SugarCRM (包含) ‎ (←链入页面)
• Compiere (包含) ‎ (←链入页面)
• Opentaps (包含) ‎ (←链入页面)