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

以下页面链接至JavaScript：

• LiveScript ‎ (←链入页面)
• Horizon ‎ (←链入页面)
• Enterprise JavaScript ‎ (←链入页面)
• Cocos creator ‎ (←链入页面)
• PouchDB ‎ (←链入页面)
• Unreal Engine/developer ‎ (←链入页面)
• FDB ‎ (←链入页面)
• 灰狐社区 ‎ (←链入页面)
• 我与C++PythonErlang的1000个日夜 ‎ (←链入页面)
• Erlang ecosystem ‎ (←链入页面)
• WorkOps ‎ (←链入页面)
• Android ecosystem ‎ (←链入页面)
• Rust ecosystem ‎ (←链入页面)
• Spinnaker ‎ (←链入页面)
• WebAssembly ‎ (←链入页面)
• Vue.js ‎ (←链入页面)
• OpenShot ‎ (←链入页面)
• GraalVM ‎ (←链入页面)
• Yew ‎ (←链入页面)
• Netlify CMS ‎ (←链入页面)
• Basic Attention Token ‎ (←链入页面)
• Jest ‎ (←链入页面)
• Haskell ecosystem ‎ (←链入页面)
• Elm ‎ (←链入页面)
• PureScript ‎ (←链入页面)
• Haskell DSL Foundation ‎ (←链入页面)
• Reason ‎ (←链入页面)
• Lisp ecosystem ‎ (←链入页面)
• KaTeX ‎ (←链入页面)
• Brave browser ‎ (←链入页面)