runtimeverification
Runtime Verification Inc. Joined Mar 2013 View on GitHub
- Stars
- 3,642
- across 173 public repos
- Rank
- #9,098
- of 95,324 organizations, top 10%
Repositories with 50+ stars
| Rank | Repository | Language | Stars |
|---|---|---|---|
| 86,902 | Smart contracts which are formally verified | Solidity | 751 |
| 105,423 | K Framework Tools 7.0 | Python | 608 |
| 107,518 | K Semantics of the Ethereum Virtual Machine (EVM) | KCL | 595 |
| 246,858 | The symbolic execution engine powering the K Framework | Haskell | 230 |
| 395,067 | Semantics of Virtual Machine for IELE prototype blockchain | HTML | 130 |
| 399,940 | Python | 128 | |
| 457,714 | A Formal Semantics of WebAssembly in K | WebAssembly | 108 |
| 498,092 | Publications of Runtime Verification, Inc. | HTML | 97 |
| 767,299 | Python | 56 | |
| 789,869 | Runtime verification system for Java, using AspectJ for instrumentation. | Java | 54 |
Among 95,324 organizations
2.5k–4k stars: 3,697 organizations, including runtimeverification
top 50%top 10%top 1%top 0.1% 
Stars along the bottom, and organizations in each band on a log scale
Where the stars are
Languages
- Python 792 stars, 22% · 3 repos
- Solidity 751 stars, 21% · 1 repo
- KCL 595 stars, 16% · 1 repo
- Haskell 230 stars, 6% · 1 repo
- HTML 227 stars, 6% · 2 repos
- WebAssembly 108 stars, 3% · 1 repo
- Java 54 stars, 1% · 1 repo
When they were made
10 repos with 50+ stars, made between 2013 and 2023
101001k evm-semanticskverified-smart-contracts
Quick stats
- Next rank
- +1 star to reach #9,094
- Next milestone
- +31,393 stars to reach the top 1%
- Public repos
- 173, 10 with 50+ stars
- Popular repos
- 7 over 100 stars
- Top repo
- verified-smart-contracts, #86,902 of all repos, 21% of stars
- Smaller repos
- 885 stars from repos under 50