runtimeverification 
Languages
26 total
| Language | Repos | Stars | Global | Country | Locality |
|---|---|---|---|---|---|
| all | 118 | 2,754 | 19,117 | 3,120 | 3 |
| Solidity | 9 | 747 | 79 | 6 | 1 |
| Python | 15 | 617 | 11,704 | 1,930 | 7 |
| Java | 15 | 521 | 5,612 | 577 | 1 |
| Haskell | 4 | 239 | 492 | 99 | 1 |
| HTML | 3 | 216 | 4,516 | 807 | 2 |
| WebAssembly | 2 | 83 | 42 | 5 | 1 |
| Makefile | 6 | 65 | 1,013 | 141 | 1 |
| unknown | 20 | 64 | 34,817 | 4,381 | 6 |
| TeX | 4 | 62 | 1,666 | 280 | 3 |
| C++ | 7 | 60 | 24,654 | 2,957 | 6 |
| Coq | 4 | 34 | 139 | 28 | 2 |
| Shell | 5 | 18 | 31,340 | 4,817 | 6 |
| TypeScript | 2 | 9 | 81,377 | 9,039 | 7 |
| OCaml | 1 | 7 | 1,879 | 313 | 2 |
| hoon | 1 | 4 | 58 | 14 | 1 |
| C | 2 | 3 | 144,786 | 15,418 | 33 |
| Rust | 2 | 2 | 57,341 | 7,231 | 16 |
| Standard ML | 1 | 1 | 1,024 | 189 | 1 |
| Starlark | 1 | 1 | 1,033 | 214 | 1 |
| SCSS | 1 | 1 | 48,220 | 3,736 | 11 |
| Dockerfile | 5 | 0 | - | - | - |
| Scala | 1 | 0 | - | - | - |
| Ruby | 1 | 0 | - | - | - |
| JavaScript | 2 | 0 | - | - | - |
| Go | 2 | 0 | - | - | - |
| Nix | 2 | 0 | - | - | - |
Badges
Get your badge to use on GitHub or websites using the code below
Global
Displays global rankings for all languages plus top two languages by stars
Preview
Country
Displays country rankings for all languages plus top two languages by stars
Preview
Locality
Displays locality rankings for all languages plus top two languages by stars
Preview
Last updated: 2024-06-19T05:45:59.454647226Z Re-sync