将Coq移植到Javascript中 -- 在浏览器中运行Coq
Coq是一个形式化证明管理系统。它提供了一种形式化的语言来编写数学定义、可执行的算法和定理，以及一个半交互式的开发机器检查证明的环境。
一个强大的跨平台UI工具包，用于用HTML、CSS和JavaScript构建原生质量的iOS、Android和渐进式Web应用。
一个极其快速的JavaScript和CSS捆绑器和粉碎器
Ember.js的命令行工具。
由WebRTC支持的简易P2P文件传输--灵感来自苹果AirDrop
使用神经网络和遗传算法的Flappy Bird机器学习
H5 Page Maker, H5 Editor, LowCode. Make H5 as easy as building blocks...
一个用于javascript应用程序的轻量级反应式数据库。设计在可组合的基元之上。
💬 现代、响应式、跨平台、自我托管的网络IRC客户端
一个用于javascript和朋友的捆绑器。将许多模块打包成几个捆绑的资产。代码分割允许按需加载应用程序的一部分。通过 "加载器"，模块可...