TopGit
GITHUB USER

aantron — GitHub user

aantron has 3.6k stars across their public GitHub repositories, ranking #8743 globally among GitHub users.

Global rank#8743
Total stars3.6k
Public repositories84
View on GitHub ↗

Top repositories

dream★ 1.9kbetter-enums★ 1.8klwt★ 791genType★ 750lambdasoup★ 410promise★ 340bisect_ppx★ 319luv★ 290lwt-node★ 221ocamlverse.github.io★ 197

How many GitHub stars does aantron have?

aantron has 3.6k stars across their public repositories, ranking #8743 globally.

What is aantron's most-starred repository?

Their most-starred public repository is dream, with 1.9k stars.

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