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

以下页面链接至OS X：

• Google ‎ (←链入页面)
• MySQL Workbench ‎ (←链入页面)
• Dia ‎ (←链入页面)
• KDevelop ‎ (←链入页面)
• PowerShell ‎ (←链入页面)
• OpenStreetMap ‎ (←链入页面)
• Mac OS X (重定向页) ‎ (←链入页面)
  • Camino ‎ (←链入页面)
  • Mach ‎ (←链入页面)
  • GPUTILS ‎ (←链入页面)
  • Package manager ‎ (←链入页面)
  • WxWidgets ‎ (←链入页面)
  • MonoDevelop ‎ (←链入页面)
  • BOUML ‎ (←链入页面)
  • MacRuby ‎ (←链入页面)
  • PyObjC ‎ (←链入页面)
  • SuperTuxKart ‎ (←链入页面)
  • IOS/security ‎ (←链入页面)
  • Xcode ‎ (←链入页面)
  • Mac OS (重定向页) ‎ (←链入页面)
    • Interoperability ‎ (←链入页面)
    • 分类:Mac OS ‎ (←链入页面)
    • Mac OS/security ‎ (←链入页面)
    • Orchard ‎ (←链入页面)
  • Mac OS X/security ‎ (←链入页面)
  • Ren'Py ‎ (←链入页面)
  • Growl ‎ (←链入页面)
  • MojoPortal ‎ (←链入页面)
  • MongoHub ‎ (←链入页面)
  • Adium ‎ (←链入页面)
  • TwUI ‎ (←链入页面)
  • MonoGame ‎ (←链入页面)
  • Tunnelblick ‎ (←链入页面)
  • GitX ‎ (←链入页面)
  • Asi-http-request ‎ (←链入页面)
  • Carbon (API) ‎ (←链入页面)
  • Homebrew ‎ (←链入页面)
• OS X Server ‎ (←链入页面)
• 分类:OS X ‎ (←链入页面)
• XQuartz ‎ (←链入页面)
• OS X/security ‎ (←链入页面)
• Disk Inventory X ‎ (←链入页面)
• Godot ‎ (←链入页面)
• Kitematic ‎ (←链入页面)
• ClojureScript ‎ (←链入页面)
• LambdaNative ‎ (←链入页面)
• Unreal Engine/developer ‎ (←链入页面)
• .NET Core ‎ (←链入页面)