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

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

• Linux (包含) ‎ (←链入页面)
• 沙盒 (包含) ‎ (←链入页面)
• Solaris (包含) ‎ (←链入页面)
• WebWork (包含) ‎ (←链入页面)
• Apache Struts (包含) ‎ (←链入页面)
• Spring (包含) ‎ (←链入页面)
• Hibernate (包含) ‎ (←链入页面)
• PhpPgAdmin (包含) ‎ (←链入页面)
• Lighttpd (包含) ‎ (←链入页面)
• Thttpd (包含) ‎ (←链入页面)
• Flock (包含) ‎ (←链入页面)
• Firefox (包含) ‎ (←链入页面)
• Middleware (包含) ‎ (←链入页面)
• Berkeley DB (包含) ‎ (←链入页面)
• IBM WebSphere (包含) ‎ (←链入页面)
• GCC (包含) ‎ (←链入页面)
• Apache Geronimo (包含) ‎ (←链入页面)
• DragonFlyBSD (包含) ‎ (←链入页面)
• FreeBSD (包含) ‎ (←链入页面)
• OpenBSD (包含) ‎ (←链入页面)
• NetBSD (包含) ‎ (←链入页面)
• CentOS (包含) ‎ (←链入页面)
• GNU (包含) ‎ (←链入页面)
• Gentoo Linux (包含) ‎ (←链入页面)
• Unix (包含) ‎ (←链入页面)
• OpenSolaris (包含) ‎ (←链入页面)
• HP-UX (包含) ‎ (←链入页面)
• IBM AIX (包含) ‎ (←链入页面)
• Operating system (包含) ‎ (←链入页面)
• Database (包含) ‎ (←链入页面)
• PostgreSQL (包含) ‎ (←链入页面)
• MySQL (包含) ‎ (←链入页面)
• Apache Derby (包含) ‎ (←链入页面)
• HSQLDB (包含) ‎ (←链入页面)
• SQLite (包含) ‎ (←链入页面)
• GlassFish (包含) ‎ (←链入页面)
• JOnAS (包含) ‎ (←链入页面)
• JBoss (包含) ‎ (←链入页面)
• Apache Tomcat (包含) ‎ (←链入页面)
• Resin (包含) ‎ (←链入页面)
• ACE (包含) ‎ (←链入页面)
• TAO (包含) ‎ (←链入页面)
• JacORB (包含) ‎ (←链入页面)
• ICE (包含) ‎ (←链入页面)
• WebLogic (包含) ‎ (←链入页面)
• Oracle Fusion Middleware (包含) ‎ (←链入页面)
• Programming language (包含) ‎ (←链入页面)
• C programming language (包含) ‎ (←链入页面)
• Java (包含) ‎ (←链入页面)
• Ruby (包含) ‎ (←链入页面)