《软件基础》中译版 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
经CompCert正式验证的C语言编译器
用Coq正式验证分布式系统实现的框架
Coq是一个形式化证明管理系统。它提供了一种形式化的语言来编写数学定义、可执行的算法和定理，以及一个半交互式的开发机器检查证明的环境。