TopGit
GITHUB USER

jozefg — GitHub user

jozefg has 3.4k stars across their public GitHub repositories, ranking #9294 globally among GitHub users.

Global rank#9294
Total stars3.4k
Public repositories86
View on GitHub ↗

Top repositories

learn-tt★ 2.5kredtt★ 220higher-order-unification★ 197nbe-for-mltt★ 136pcf★ 126blott★ 121JonPRL★ 111hm★ 80miniprl★ 50wiki-summary.el★ 36

How many GitHub stars does jozefg have?

jozefg has 3.4k stars across their public repositories, ranking #9294 globally.

What is jozefg's most-starred repository?

Their most-starred public repository is learn-tt, with 2.5k stars.

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