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

以下页面链接至文件:Awesome.png：

• Angular (文件链接) ‎ (←链入页面)
• Electron (文件链接) ‎ (←链入页面)
• Atom editor (文件链接) ‎ (←链入页面)
• Microservices (文件链接) ‎ (←链入页面)
• Rust (文件链接) ‎ (←链入页面)
• Functional programming (文件链接) ‎ (←链入页面)
• 分类:Functional programming (文件链接) ‎ (←链入页面)
• Pharo (文件链接) ‎ (←链入页面)
• React Native (文件链接) ‎ (←链入页面)
• Computer vision (文件链接) ‎ (←链入页面)
• Web Components (文件链接) ‎ (←链入页面)
• H2O (文件链接) ‎ (←链入页面)
• TensorFlow (文件链接) ‎ (←链入页面)
• ClojureScript (文件链接) ‎ (←链入页面)
• Julia (文件链接) ‎ (←链入页面)
• D3.js (文件链接) ‎ (←链入页面)
• Data science (文件链接) ‎ (←链入页面)
• Robotics (文件链接) ‎ (←链入页面)
• Container (文件链接) ‎ (←链入页面)
• Blockchain (文件链接) ‎ (←链入页面)
• 自动驾驶 (文件链接) ‎ (←链入页面)
• Kotlin (文件链接) ‎ (←链入页面)
• Clojure ecosystem (文件链接) ‎ (←链入页面)
• Scala ecosystem (文件链接) ‎ (←链入页面)
• Python ecosystem (文件链接) ‎ (←链入页面)
• Swift ecosystem (文件链接) ‎ (←链入页面)
• Java ecosystem (文件链接) ‎ (←链入页面)
• Go ecosystem (文件链接) ‎ (←链入页面)
• Node.js ecosystem (文件链接) ‎ (←链入页面)
• Lua ecosystem (文件链接) ‎ (←链入页面)
• Growth hacking (文件链接) ‎ (←链入页面)
• MongoDB ecosystem (文件链接) ‎ (←链入页面)
• OpenShift ecosystem (文件链接) ‎ (←链入页面)
• C++ ecosystem (文件链接) ‎ (←链入页面)
• Emacs ecosystem (文件链接) ‎ (←链入页面)
• Xamarin (文件链接) ‎ (←链入页面)
• F Sharp (文件链接) ‎ (←链入页面)
• Huihoo Cloud (文件链接) ‎ (←链入页面)
• 灰狐社区 (文件链接) ‎ (←链入页面)
• PHP ecosystem (文件链接) ‎ (←链入页面)
• .NET ecosystem (文件链接) ‎ (←链入页面)
• Stride (文件链接) ‎ (←链入页面)
• 灰狐音乐 (文件链接) ‎ (←链入页面)
• Seastar (文件链接) ‎ (←链入页面)
• Erlang ecosystem (文件链接) ‎ (←链入页面)
• Kotlin ecosystem (文件链接) ‎ (←链入页面)
• Android ecosystem (文件链接) ‎ (←链入页面)
• Mesos ecosystem (文件链接) ‎ (←链入页面)
• Rust ecosystem (文件链接) ‎ (←链入页面)
• Kubernetes ecosystem (文件链接) ‎ (←链入页面)