GITHUB USER
mixu — GitHub user
mixu has 11.0k stars across their public GitHub repositories, ranking #2238 globally among GitHub users.
Top repositories
How many GitHub stars does mixu have?
mixu has 11.0k stars across their public repositories, ranking #2238 globally.
What is mixu's most-starred repository?
Their most-starred public repository is distsysbook, with 2.7k stars.
Is mixu an individual or an organization?
This is an individual GitHub user account.