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

以下页面链接至.NET：

• 用户:Allen ‎ (←链入页面)
• Scheme ‎ (←链入页面)
• Open Services Platform ‎ (←链入页面)
• Scala ‎ (←链入页面)
• E3 ‎ (←链入页面)
• GTK ‎ (←链入页面)
• OCaml ‎ (←链入页面)
• IDEX ‎ (←链入页面)
• MariaDB ‎ (←链入页面)
• IronRuby ‎ (←链入页面)
• 分类:.NET ‎ (←链入页面)
• IronPython ‎ (←链入页面)
• MATLAB ‎ (←链入页面)
• Mono ‎ (←链入页面)
• C Sharp ‎ (←链入页面)
• Parrot ‎ (←链入页面)
• .NET Framework (重定向页) ‎ (←链入页面)
  • MonoDevelop ‎ (←链入页面)
  • SharpDevelop ‎ (←链入页面)
• Compiler ‎ (←链入页面)
• CPython ‎ (←链入页面)
• Huihoo Web Team ‎ (←链入页面)
• DotGNU ‎ (←链入页面)
• OpenStreetMap ‎ (←链入页面)
• OpenRasta ‎ (←链入页面)
• Umbraco ‎ (←链入页面)
• ASP.NET ‎ (←链入页面)
• NUnit ‎ (←链入页面)
• SMSLib ‎ (←链入页面)
• .NET/security ‎ (←链入页面)
• Manzana ‎ (←链入页面)
• XNA ‎ (←链入页面)
• IKVM.NET ‎ (←链入页面)
• LINQ ‎ (←链入页面)
• GtkSharp ‎ (←链入页面)
• ServiceStack ‎ (←链入页面)
• OpenExpressApp ‎ (←链入页面)
• Aras ‎ (←链入页面)
• Machine learning ‎ (←链入页面)
• MQTT ‎ (←链入页面)
• Amazon DynamoDB ‎ (←链入页面)
• Npgsql ‎ (←链入页面)
• Iron Foundry ‎ (←链入页面)
• Cucumber ‎ (←链入页面)
• E3 ofbiz ‎ (←链入页面)
• Visual Studio Code ‎ (←链入页面)
• Microservices ‎ (←链入页面)
• RethinkDB ‎ (←链入页面)
• TensorFlow ‎ (←链入页面)
• Kafka ecosystem ‎ (←链入页面)
• Actor model ‎ (←链入页面)
• F Sharp ‎ (←链入页面)