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

以下页面链接至Scala：

• Akka ecosystem ‎ (←链入页面)
• Twirl ‎ (←链入页面)
• ReactiveX ‎ (←链入页面)
• Scala ecosystem ‎ (←链入页面)
• Activator ‎ (←链入页面)
• MongoDB ecosystem ‎ (←链入页面)
• Gitbucket ‎ (←链入页面)
• 泛型 ‎ (←链入页面)
• Financial technology ‎ (←链入页面)
• 灰狐基金会 ‎ (←链入页面)
• ENSIME ‎ (←链入页面)
• Scalaz ‎ (←链入页面)
• D3 ‎ (←链入页面)
• G3 ‎ (←链入页面)
• 灰狗游戏平台 ‎ (←链入页面)
• 灰狐伊娃俱乐部 ‎ (←链入页面)
• Lichess ‎ (←链入页面)
• Scala Native ‎ (←链入页面)
• Kamon ‎ (←链入页面)
• 我与C++PythonErlang的1000个日夜 ‎ (←链入页面)
• E3 platform ‎ (←链入页面)
• Slick ‎ (←链入页面)
• GENIVI ‎ (←链入页面)
• 灰狐咨询 ‎ (←链入页面)
• WorkOps ‎ (←链入页面)
• ActorX ‎ (←链入页面)
• SMACK堆栈 ‎ (←链入页面)
• Android ecosystem ‎ (←链入页面)
• Mesos ecosystem ‎ (←链入页面)
• GraphQL ‎ (←链入页面)
• Axelor ‎ (←链入页面)
• GraalVM ‎ (←链入页面)
• Angel ‎ (←链入页面)
• SuperCollider ‎ (←链入页面)