TopGit
GITHUB ORGANIZATION

epfl-lara — GitHub organization

epfl-lara has 1.2k stars across their public GitHub repositories, ranking #9177 globally among GitHub organizations.

Global rank#9177
Total stars1.2k
Public repositories101
View on GitHub ↗

Top repositories

stainless★ 403leon★ 167ScalaZ3★ 127inox★ 96lisa★ 69scallion★ 63smart★ 34treenet★ 30bolts★ 29nugget★ 13

How many GitHub stars does epfl-lara have?

epfl-lara has 1.2k stars across their public repositories, ranking #9177 globally.

What is epfl-lara's most-starred repository?

Their most-starred public repository is stainless, with 403 stars.

Is epfl-lara an individual or an organization?

This is a GitHub organization account.

See our methodology for how this ranking is calculated.

← Back to Organizations ranking