Pinned Repositories
Mathematical_Logic_NJUCS
南京大学计算机系数理逻辑课程资料
NJU_Com_Models
《计算模型导引》第五章参考答案
ShangMi_Coq
Coq formalization of SM2, SM3 and SM4.
Smoothieware
Modular, opensource, high performance G-code interpreter and CNC controller written in Object-Oriented C++
VST
Verified Software Toolchain
Smoothieware
Modular, opensource, high performance G-code interpreter and CNC controller written in Object-Oriented C++
sleepycoke's Repositories
sleepycoke/Mathematical_Logic_NJUCS
南京大学计算机系数理逻辑课程资料
sleepycoke/NJU_Com_Models
《计算模型导引》第五章参考答案
sleepycoke/ShangMi_Coq
Coq formalization of SM2, SM3 and SM4.
sleepycoke/Smoothieware
Modular, opensource, high performance G-code interpreter and CNC controller written in Object-Oriented C++
sleepycoke/VST
Verified Software Toolchain