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

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

• Celtix (包含) ‎ (←链入页面)
• Apache ServiceMix (包含) ‎ (←链入页面)
• Open ESB (包含) ‎ (←链入页面)
• Mule (包含) ‎ (←链入页面)
• Apache HTTP Server (包含) ‎ (←链入页面)
• Google (包含) ‎ (←链入页面)
• Web server (包含) ‎ (←链入页面)
• Workflow (包含) ‎ (←链入页面)
• JBoss BPM (包含) ‎ (←链入页面)
• Bonita BPM (包含) ‎ (←链入页面)
• Java Message Service (包含) ‎ (←链入页面)
• Apache ActiveMQ (包含) ‎ (←链入页面)
• JORAM (包含) ‎ (←链入页面)
• OpenJMS (包含) ‎ (←链入页面)
• Internet (包含) ‎ (←链入页面)
• Yahoo (包含) ‎ (←链入页面)
• EBay (包含) ‎ (←链入页面)
• Alibaba (包含) ‎ (←链入页面)
• File sharing (包含) ‎ (←链入页面)
• EMule (包含) ‎ (←链入页面)
• BitTorrent (包含) ‎ (←链入页面)
• Shareaza (包含) ‎ (←链入页面)
• Vuze (包含) ‎ (←链入页面)
• Apache NetBeans (包含) ‎ (←链入页面)
• Eclipse (包含) ‎ (←链入页面)
• Anjuta (包含) ‎ (←链入页面)
• Apache Tapestry (包含) ‎ (←链入页面)
• Apache MyFaces (包含) ‎ (←链入页面)
• DWR (包含) ‎ (←链入页面)
• Echo (包含) ‎ (←链入页面)
• AppFuse (包含) ‎ (←链入页面)
• Twisted (包含) ‎ (←链入页面)
• Django (包含) ‎ (←链入页面)
• TurboGears (包含) ‎ (←链入页面)
• Mozilla (包含) ‎ (←链入页面)
• Thunderbird (包含) ‎ (←链入页面)
• Bugzilla (包含) ‎ (←链入页面)
• Camino (包含) ‎ (←链入页面)
• Mozilla Sunbird (包含) ‎ (←链入页面)
• SeaMonkey (包含) ‎ (←链入页面)
• Mozilla Application Suite (包含) ‎ (←链入页面)
• Nvu (包含) ‎ (←链入页面)
• Rhino (包含) ‎ (←链入页面)
• XUL (包含) ‎ (←链入页面)
• XPCOM (包含) ‎ (←链入页面)
• Necko (包含) ‎ (←链入页面)
• Gecko (包含) ‎ (←链入页面)
• CakePHP (包含) ‎ (←链入页面)
• Symfony (包含) ‎ (←链入页面)
• CodeIgniter (包含) ‎ (←链入页面)