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

以下页面链接至Mac OS X：

• Camino ‎ (←链入页面)
• Mach ‎ (←链入页面)
• GPUTILS ‎ (←链入页面)
• Package manager ‎ (←链入页面)
• WxWidgets ‎ (←链入页面)
• MonoDevelop ‎ (←链入页面)
• BOUML ‎ (←链入页面)
• MacRuby ‎ (←链入页面)
• PyObjC ‎ (←链入页面)
• SuperTuxKart ‎ (←链入页面)
• IOS/security ‎ (←链入页面)
• Xcode ‎ (←链入页面)
• Mac OS X/security ‎ (←链入页面)
• Ren'Py ‎ (←链入页面)
• Growl ‎ (←链入页面)
• MojoPortal ‎ (←链入页面)
• MongoHub ‎ (←链入页面)
• Adium ‎ (←链入页面)
• TwUI ‎ (←链入页面)
• MonoGame ‎ (←链入页面)
• Tunnelblick ‎ (←链入页面)
• GitX ‎ (←链入页面)
• Asi-http-request ‎ (←链入页面)
• Carbon (API) ‎ (←链入页面)
• Homebrew ‎ (←链入页面)