zhuyingtao/setting
My settings for some IDEs
Public GitHub Catalog
Discovered Oct 21, 2026
zhuyingtao / hrm-system
A Java Web project about human resource management system.
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.
#42320277GitHub 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/formula-method
the homework of the course Formula Method using coq
zhuyingtao/ucourse
An Android app about course management