TopGit
GITHUB ORGANIZATION

probmods — GitHub organization

probmods has 1.5k stars across their public GitHub repositories, ranking #7792 globally among GitHub organizations.

Global rank#7792
Total stars1.5k
Public repositories16
View on GitHub ↗

Top repositories

webppl★ 637probmods2★ 327dippl★ 181chapters★ 169webchurch★ 141webppl-viz★ 14webppl-editor★ 8langmods★ 6carl★ 4ppaml2016★ 4

How many GitHub stars does probmods have?

probmods has 1.5k stars across their public repositories, ranking #7792 globally.

What is probmods's most-starred repository?

Their most-starred public repository is webppl, with 637 stars.

Is probmods an individual or an organization?

This is a GitHub organization account.

See our methodology for how this ranking is calculated.

← Back to Organizations ranking