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

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

• Zend Framework (包含) ‎ (←链入页面)
• Horde (包含) ‎ (←链入页面)
• Seagull (包含) ‎ (←链入页面)
• Gmail (包含) ‎ (←链入页面)
• Plone (包含) ‎ (←链入页面)
• PostNuke (包含) ‎ (←链入页面)
• PHP-Nuke (包含) ‎ (←链入页面)
• TYPO3 (包含) ‎ (←链入页面)
• Geeklog (包含) ‎ (←链入页面)
• Joomla (包含) ‎ (←链入页面)
• PHP-Fusion (包含) ‎ (←链入页面)
• Apache OpenEJB (包含) ‎ (←链入页面)
• Web service (包含) ‎ (←链入页面)
• Apache Axis (包含) ‎ (←链入页面)
• BSD (包含) ‎ (←链入页面)
• PhpMyAdmin (包含) ‎ (←链入页面)
• TCP/IP (包含) ‎ (←链入页面)
• IPv6 (包含) ‎ (←链入页面)
• IPv4 (包含) ‎ (←链入页面)
• User Datagram Protocol (包含) ‎ (←链入页面)
• Address Resolution Protocol (包含) ‎ (←链入页面)
• HTTP (包含) ‎ (←链入页面)
• Network News Transfer Protocol (包含) ‎ (←链入页面)
• RPC (包含) ‎ (←链入页面)
• Secure Shell (包含) ‎ (←链入页面)
• Simple Mail Transfer Protocol (包含) ‎ (←链入页面)
• File Transfer Protocol (包含) ‎ (←链入页面)
• Telnet (包含) ‎ (←链入页面)
• NFS (包含) ‎ (←链入页面)
• Server Message Block (包含) ‎ (←链入页面)
• DNS (包含) ‎ (←链入页面)
• BIND (包含) ‎ (←链入页面)
• DHCP (包含) ‎ (←链入页面)
• InterNetNews (包含) ‎ (←链入页面)
• Network Time Protocol (包含) ‎ (←链入页面)
• Ingres (包含) ‎ (←链入页面)
• MMCache (包含) ‎ (←链入页面)
• X86 (包含) ‎ (←链入页面)
• Itanium (包含) ‎ (←链入页面)
• AMD64 (包含) ‎ (←链入页面)
• SPARC (包含) ‎ (←链入页面)
• UltraSPARC (包含) ‎ (←链入页面)
• OpenSPARC (包含) ‎ (←链入页面)
• M68k (包含) ‎ (←链入页面)
• ARM (包含) ‎ (←链入页面)
• DEC Alpha (包含) ‎ (←链入页面)
• PA-RISC (包含) ‎ (←链入页面)
• IBM ESA/390 (包含) ‎ (←链入页面)
• MIPS (包含) ‎ (←链入页面)
• Xen (包含) ‎ (←链入页面)