TopGit
GITHUB USER

andrejbauer — GitHub user

andrejbauer has 3.2k stars across their public GitHub repositories, ranking #9840 globally among GitHub users.

Global rank#9840
Total stars3.2k
Public repositories135
View on GitHub ↗

Top repositories

book★ 2.2kmathlib3★ 1.7kplzoo★ 1.6keffects-bibliography★ 1.1keff★ 921andromeda★ 318homotopy-type-theory-course★ 312spartan-type-theory★ 277scott★ 179effects-rosetta-stone★ 147

How many GitHub stars does andrejbauer have?

andrejbauer has 3.2k stars across their public repositories, ranking #9840 globally.

What is andrejbauer's most-starred repository?

Their most-starred public repository is book, with 2.2k stars.

Is andrejbauer 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