zhuyingtao/setting
My settings for some IDEs
Public GitHub Catalog
Discovered Oct 21, 2026
zhuyingtao / formula-method
the homework of the course Formula Method using coq
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#42321823GitHub System ID
zhuyingtaoOrganization / User
PublicVisibility
ActiveCatalog Status
More from zhuyingtao
zhuyingtao/nachos
My full implementation the NachOS code base for CS162 Fall 2010. Please see wiki for more details.
zhuyingtao/ucourse
An Android app about course management
zhuyingtao/hrm-system
A Java Web project about human resource management system.