《软件基础》中译版 Software Foundations Chinese Translation
🐼 经典IT资源的中文翻译
i18next：一次学习-到处翻译
所有与FormatJS相关的库的单行本，最明显的是react-intl。
基于IntelliJ的IDEs/Android Studio/UAWEI DevEco Studio的翻译插件。
JetBrains 系列软件汉化包 关键字: Android Studio 3.5 汉化包 CLion 2019.3 汉化包 DataGr...
将Coq移植到Javascript中 -- 在浏览器中运行Coq
用Coq正式验证分布式系统实现的框架
经CompCert正式验证的C语言编译器
Cosette是一个自动SQL解算器。