GITHUB ORGANIZATION
runtimeverification — GitHub organization
runtimeverification has 3.5k stars across their public GitHub repositories, ranking #4379 globally among GitHub organizations.
Top repositories
How many GitHub stars does runtimeverification have?
runtimeverification has 3.5k stars across their public repositories, ranking #4379 globally.
What is runtimeverification's most-starred repository?
Their most-starred public repository is verified-smart-contracts, with 747 stars.
Is runtimeverification an individual or an organization?
This is a GitHub organization account.