Pinned Repositories
Assignments-for-Haskell
Assignments for Haskell
calculator
calculator-final
calculator-v1.0
dafny
Dafny is a verification-aware programming language
every-programmer-should-know
A collection of (mostly) technical things every software developer should know
free-programming-books-zh_CN
免费的计算机编程类中文书籍，欢迎投稿
index27.github.io
OpenHarmony
华为开源鸿蒙分布式操作系统（Huawei OpenHarmony）开发技术交流，鸿蒙技术资料，手册，指南，共建国产操作系统万物互联新生态。
thuthesis
LaTeX Thesis Template for Tsinghua University
index27's Repositories
index27/Assignments-for-Haskell
Assignments for Haskell
index27/calculator
index27/calculator-final
index27/calculator-v1.0
index27/dafny
Dafny is a verification-aware programming language
index27/every-programmer-should-know
A collection of (mostly) technical things every software developer should know
index27/free-programming-books-zh_CN
免费的计算机编程类中文书籍，欢迎投稿
index27/index27.github.io
index27/OpenHarmony
华为开源鸿蒙分布式操作系统（Huawei OpenHarmony）开发技术交流，鸿蒙技术资料，手册，指南，共建国产操作系统万物互联新生态。
index27/thuthesis
LaTeX Thesis Template for Tsinghua University