GITHUB USER

prathyvsh — GitHub user

prathyvsh has 4.1k stars across their public GitHub repositories, ranking #7588 globally among GitHub users.

Global rank#7588

Total stars4.1k

Public repositories107

View on GitHub ↗

Top repositories

pl-catalog★ 779 category-theory-resources★ 673 formal-systems-in-biology★ 495 models-of-interaction★ 346 os-catalog★ 336 lambda-calculus-visualizations★ 176 Illustrated-Primers★ 172 networked-notebooks★ 153 notation★ 152 morphisms-of-computational-structures★ 127

How many GitHub stars does prathyvsh have?

prathyvsh has 4.1k stars across their public repositories, ranking #7588 globally.

What is prathyvsh's most-starred repository?

Their most-starred public repository is pl-catalog, with 779 stars.

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