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

以下页面链接至Linux：

• XFS ‎ (←链入页面)
• Kali Linux ‎ (←链入页面)
• Magenta ‎ (←链入页面)
• Tizen ‎ (←链入页面)
• Muduo ‎ (←链入页面)
• Apache Mesos ‎ (←链入页面)
• Swift ‎ (←链入页面)
• LYME ‎ (←链入页面)
• Godot ‎ (←链入页面)
• Orchard ‎ (←链入页面)
• .NET Core ‎ (←链入页面)
• Huihoo Cloud ‎ (←链入页面)
• Automotive Grade Linux ‎ (←链入页面)
• 灰狐基金会 ‎ (←链入页面)
• WorkOps ‎ (←链入页面)
• Easy Disk Cleaner ‎ (←链入页面)
• 灰狐安全 ‎ (←链入页面)
• WireGuard ‎ (←链入页面)
• SlapOS ‎ (←链入页面)
• Jitsi ‎ (←链入页面)
• Brave browser ‎ (←链入页面)