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