TopGit
GITHUB USER

01mf02 — GitHub user

01mf02 has 3.8k stars across their public GitHub repositories, ranking #8195 globally among GitHub users.

Global rank#8195
Total stars3.8k
Public repositories42
View on GitHub ↗

Top repositories

jaq★ 3.7khifijson★ 28kontroli-rs★ 23computers-spaceflight★ 18pandocfilters★ 18codesnake★ 15cop-rs★ 14cdsat★ 11isabelle_dedukti★ 6jq-lang-spec★ 5

How many GitHub stars does 01mf02 have?

01mf02 has 3.8k stars across their public repositories, ranking #8195 globally.

What is 01mf02's most-starred repository?

Their most-starred public repository is jaq, with 3.7k stars.

Is 01mf02 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