GITHUB USER
mike42 — GitHub user
mike42 has 3.1k stars across their public GitHub repositories, ranking #9954 globally among GitHub users.
How many GitHub stars does mike42 have?
mike42 has 3.1k stars across their public repositories, ranking #9954 globally.
What is mike42's most-starred repository?
Repository-level data for this account hasn't been crawled yet.
Is mike42 an individual or an organization?
This is an individual GitHub user account.