TopGit
GITHUB USER

MichielDerhaeg — GitHub user

MichielDerhaeg has 5.2k stars across their public GitHub repositories, ranking #5754 globally among GitHub users.

Global rank#5754
Total stars5.2k
Public repositories40
View on GitHub ↗

Top repositories

build-linux★ 5.2kOSX-KVM★ 11texttop★ 11all-you-can-carry★ 10PAULA-proof-of-concept★ 5bidirectional-impl★ 2cn-cards★ 2quantcs-nobacktracking★ 1fundeps★ 1gcc★ 0

How many GitHub stars does MichielDerhaeg have?

MichielDerhaeg has 5.2k stars across their public repositories, ranking #5754 globally.

What is MichielDerhaeg's most-starred repository?

Their most-starred public repository is build-linux, with 5.2k stars.

Is MichielDerhaeg an individual or an organization?

This is an individual GitHub user account.

See our methodology for how this ranking is calculated.

← Back to Users ranking