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

以下页面链接至Windows：

• Huihoo ‎ (←链入页面)
• Enterprise Open Source Choice Guide ‎ (←链入页面)
• WxWidgets ‎ (←链入页面)
• Microsoft ‎ (←链入页面)
• MySQL Workbench ‎ (←链入页面)
• E3 ‎ (←链入页面)
• Geany ‎ (←链入页面)
• Ixwebhosting ‎ (←链入页面)
• 分类:Windows ‎ (←链入页面)
• KDevelop ‎ (←链入页面)
• MonoDevelop ‎ (←链入页面)
• BOUML ‎ (←链入页面)
• Launch4j ‎ (←链入页面)
• RubyInstaller ‎ (←链入页面)
• Open Perl IDE ‎ (←链入页面)
• SuperTuxKart ‎ (←链入页面)
• PowerShell ‎ (←链入页面)
• Windows/security ‎ (←链入页面)
• Novell ZENworks ‎ (←链入页面)
• FBReader ‎ (←链入页面)
• Ren'Py ‎ (←链入页面)
• Lost Labyrinth ‎ (←链入页面)
• Genesis3D ‎ (←链入页面)
• Grisbi ‎ (←链入页面)
• HomeBank ‎ (←链入页面)
• MojoPortal ‎ (←链入页面)
• OpenStack/murano ‎ (←链入页面)
• Godot ‎ (←链入页面)
• Kitematic ‎ (←链入页面)
• Orchard ‎ (←链入页面)
• .NET Core ‎ (←链入页面)
• WAMP ‎ (←链入页面)
• Xamarin.Forms ‎ (←链入页面)
• Easy Disk Cleaner ‎ (←链入页面)
• Jitsi ‎ (←链入页面)
• Haskell Desktop Foundation ‎ (←链入页面)
• Brave browser ‎ (←链入页面)