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