Coq-zh / Sf Zh
《软件基础》中译版 Software Foundations Chinese Translation
Stars: ✭ 554
Projects that are alternatives of or similar to Sf Zh
Nginx Docs
Nginx 中文文档. Chinese translation of Nginx documentation.
Stars: ✭ 809 (+46.03%)
Mutual labels: translation, chinese-translation
Mal Zh
The Make-A-Lisp Process 中文翻译,如何写一个Lisp解释器
Stars: ✭ 100 (-81.95%)
Mutual labels: translation, chinese-translation
Teachyourselfcs Cn
TeachYourselfCS 的中文翻译 | A Chinese translation of TeachYourselfCS
Stars: ✭ 11,772 (+2024.91%)
Mutual labels: translation, chinese-translation
Microservices
Microservices from Design to Deployment 中文版 《微服务:从设计到部署》
Stars: ✭ 4,637 (+737%)
Mutual labels: translation, chinese-translation
Springboot
Spring Boot chinese document. Spring Boot 2.1.5 中文文档
Stars: ✭ 703 (+26.9%)
Mutual labels: translation, chinese-translation
Developing Ios 11 Apps With Swift
Stanford 公开课,Developing iOS 11 Apps with Swift 字幕翻译
Stars: ✭ 1,237 (+123.29%)
Mutual labels: translation, chinese-translation
Translations
🐼 Chinese translations for classic IT resources
Stars: ✭ 6,074 (+996.39%)
Mutual labels: translation, chinese-translation
Swiftui Tutorials
A code example and translation project of SwiftUI. / 一个 SwiftUI 的示例、翻译的教程项目。
Stars: ✭ 1,992 (+259.57%)
Mutual labels: translation, chinese-translation
Icopy Site.github.io
icopy.site github mirror
Stars: ✭ 142 (-74.37%)
Mutual labels: translation, chinese-translation
Translateproject
Linux中国翻译项目
Stars: ✭ 1,847 (+233.39%)
Mutual labels: translation, chinese-translation
Php Best Practices Zh cn
PHP Best Practices(中译版)
Stars: ✭ 261 (-52.89%)
Mutual labels: translation, chinese-translation
TeachYourselfCS-CN
TeachYourselfCS 的中文翻译 | A Chinese translation of TeachYourselfCS
Stars: ✭ 13,234 (+2288.81%)
Mutual labels: translation, chinese-translation
Developing Ios 10 Apps With Swift
Stanford 公开课,Developing iOS 10 Apps with Swift 字幕翻译
Stars: ✭ 391 (-29.42%)
Mutual labels: translation, chinese-translation
Apache Shiro 1.2.x Reference
Chinese translation of the Apache Shiro Reference Manual(http://shiro.apache.org/reference) and the other article collection. You can also see the demos of the reference at (https://github.com/waylau/apache-shiro-1.2.x-reference-demos). 《Apache Shiro 参考手册》 中文翻译(包含了官方文档以及其他文章)
Stars: ✭ 468 (-15.52%)
Mutual labels: chinese-translation
Yomichan
Japanese pop-up dictionary extension for Chrome and Firefox.
Stars: ✭ 464 (-16.25%)
Mutual labels: translation
Universal Starter
Angular 9 Universal repo with many features
Stars: ✭ 518 (-6.5%)
Mutual labels: translation
Termit
Translations with speech synthesis in your terminal as a ruby gem
Stars: ✭ 505 (-8.84%)
Mutual labels: translation
软件基础(中译版)
Chinese translation of Software Foundations
注意:正文编译自上游代码库,只接受 Issue;PR 对象仅限说明文档、测试脚本等。
《软件基础》系列教材(英文名 Software Foundations)由 Benjamin C. Pierce 教授等多位作者合著。丛书分为《逻辑基础》、《程序语言基础》、《函数算法验证》、《QuickChick:软件特性测试》诸卷,深入浅出地介绍了可靠软件的数理逻辑基础。
本书可供高年级本科生、研究生、科研工作者及同等学力的广大读者学习参考。阅读此书不需具备逻辑学、程序语言等背景知识,但一定的数学基础有助于理解书中内容。
歡迎有志之士參與翻譯及繁體中文版製作,詳見 Coq 中文論壇告示。 也歡迎各位讀者來此參與翻譯相關討論。
首卷《逻辑基础》初译完毕,亟待审校;次卷《程序语言基础》正在翻译中。此处发布的译文为 Alpha 版,错误纰漏在所难免,恳请广大读者以 Issue 等形式批评指正。
Please do not post solutions to the exercises in a public place.
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].