sleepycoke

University of Illinois at Chicago

Pinned Repositories

Mathematical_Logic_NJUCS
南京大学计算机系数理逻辑课程资料
Language:TeX81 5 17
NJU_Com_Models
《计算模型导引》第五章参考答案
Language:TeX14 4 03
ShangMi_Coq
Coq formalization of SM2, SM3 and SM4.
Language:Coq0 0 00
Smoothieware
Modular, opensource, high performance G-code interpreter and CNC controller written in Object-Oriented C++
Language:C++0 0 00
VST
Verified Software Toolchain
Language:Coq00
Smoothieware
Modular, opensource, high performance G-code interpreter and CNC controller written in Object-Oriented C++
Language:C++1.3k 221 364996

sleepycoke's Repositories

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