GITHUB USER
rochus-keller — GitHub user
rochus-keller has 4.1k stars across their public GitHub repositories, ranking #7542 globally among GitHub users.
Top repositories
How many GitHub stars does rochus-keller have?
rochus-keller has 4.1k stars across their public repositories, ranking #7542 globally.
What is rochus-keller's most-starred repository?
Their most-starred public repository is LeanQt, with 615 stars.
Is rochus-keller an individual or an organization?
This is an individual GitHub user account.