TopGit
GITHUB USER

pantor — GitHub user

pantor has 4.2k stars across their public GitHub repositories, ranking #7487 globally among GitHub users.

Global rank#7487
Total stars4.2k
Public repositories13
View on GitHub ↗

Top repositories

inja★ 2.0kruckig★ 1.3kfrankx★ 339ros-control-center★ 294learning-shifting-for-grasping★ 85speedfolding★ 64griffig★ 52learning-pick-and-place★ 34learning-transition-for-manipulation★ 7crucio★ 6

How many GitHub stars does pantor have?

pantor has 4.2k stars across their public repositories, ranking #7487 globally.

What is pantor's most-starred repository?

Their most-starred public repository is inja, with 2.0k stars.

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