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

以下页面链接至C Sharp：

• FDB ‎ (←链入页面)
• MBrace ‎ (←链入页面)
• OpenWebStack ‎ (←链入页面)
• Accord.NET ‎ (←链入页面)
• 灰狐基金会 ‎ (←链入页面)
• D3 ‎ (←链入页面)
• .NET ecosystem ‎ (←链入页面)
• Stride ‎ (←链入页面)
• G3 ‎ (←链入页面)
• FluentMigrator ‎ (←链入页面)
• CocosSharp ‎ (←链入页面)
• Xamarin.Forms ‎ (←链入页面)
• XAML ‎ (←链入页面)
• 灰狐图书 ‎ (←链入页面)
• RavenDB ‎ (←链入页面)
• 灰狐公开课 ‎ (←链入页面)
• E3 mobile ‎ (←链入页面)
• 灰狐咨询 ‎ (←链入页面)
• ActorX ‎ (←链入页面)
• Android ecosystem ‎ (←链入页面)
• Senparc.Weixin ‎ (←链入页面)
• 灰狐会员 ‎ (←链入页面)
• 灰狐安全 ‎ (←链入页面)
• Wazuh ‎ (←链入页面)
• Uno Platform ‎ (←链入页面)
• AvalonStudio ‎ (←链入页面)
• Formal verification ‎ (←链入页面)
• Roslyn ‎ (←链入页面)