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

以下页面链接至Subversion：

• Collaborative software ‎ (←链入页面)
• Development ‎ (←链入页面)
• Apache NetBeans ‎ (←链入页面)
• Tigris.org ‎ (←链入页面)
• Redmine ‎ (←链入页面)
• Apache Portable Runtime ‎ (←链入页面)
• Review Board ‎ (←链入页面)
• StatSVN ‎ (←链入页面)
• Extension:CodeReview ‎ (←链入页面)
• InDefero ‎ (←链入页面)
• JRubyStack ‎ (←链入页面)
• CodeLite ‎ (←链入页面)
• Transifex ‎ (←链入页面)
• Indefero ‎ (←链入页面)
• Monotone ‎ (←链入页面)
• Buildix ‎ (←链入页面)
• Groogle ‎ (←链入页面)
• Gerrit ‎ (←链入页面)
• Rietveld ‎ (←链入页面)
• Metasploit ‎ (←链入页面)
• Revision control ‎ (←链入页面)
• Phabricator ‎ (←链入页面)
• Pysvn ‎ (←链入页面)