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

以下页面链接至JavaScript：

• Backbone.js ‎ (←链入页面)
• Scala.js ‎ (←链入页面)
• Vert.x ‎ (←链入页面)
• FineUI ‎ (←链入页面)
• PL/v8 ‎ (←链入页面)
• Natural language processing ‎ (←链入页面)
• Dart ‎ (←链入页面)
• TypeScript ‎ (←链入页面)
• Javelin ‎ (←链入页面)
• Zotero ‎ (←链入页面)
• Internet of Things ‎ (←链入页面)
• React.js ‎ (←链入页面)
• Emscripten ‎ (←链入页面)
• QML ‎ (←链入页面)
• Framer.js ‎ (←链入页面)
• Angular ‎ (←链入页面)
• Visual Studio Code ‎ (←链入页面)
• Apache OFBiz/javascript ‎ (←链入页面)
• Electron ‎ (←链入页面)
• Kitematic ‎ (←链入页面)
• ERPNext ‎ (←链入页面)
• Frappe ‎ (←链入页面)
• React Native ‎ (←链入页面)
• HPCC ‎ (←链入页面)
• Brackets ‎ (←链入页面)
• ClojureScript ‎ (←链入页面)
• D3.js ‎ (←链入页面)
• MEAN.JS ‎ (←链入页面)
• Cljsjs ‎ (←链入页面)
• Grunt ‎ (←链入页面)
• Mancy ‎ (←链入页面)
• Prebid.js ‎ (←链入页面)
• Babel.js ‎ (←链入页面)
• Convnetjs ‎ (←链入页面)
• Leaflet ‎ (←链入页面)
• WebCL ‎ (←链入页面)
• Kotlin ‎ (←链入页面)
• BaasBox/developer ‎ (←链入页面)
• Nashorn ‎ (←链入页面)
• DukeScript ‎ (←链入页面)
• Go ecosystem ‎ (←链入页面)
• Node.js ecosystem ‎ (←链入页面)
• Cylon.js ‎ (←链入页面)
• Johnny-Five ‎ (←链入页面)
• Reaction Commerce ‎ (←链入页面)
• IoT.js ‎ (←链入页面)
• Netdata ‎ (←链入页面)
• Parallel.js ‎ (←链入页面)
• E3js ‎ (←链入页面)
• Babel ‎ (←链入页面)