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

以下页面链接至文件:Wikipedia-35x35.png：

• 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 (文件链接) ‎ (←链入页面)