Languages
8 total
Language | Repos | Stars | Global |
---|---|---|---|
all | 13 | 17 | 867,016 |
OCaml | 4 | 11 | 1,357 |
Dafny | 1 | 4 | 16 |
Java | 2 | 2 | 378,428 |
Dockerfile | 1 | 0 | - |
Python | 2 | 0 | - |
JavaScript | 1 | 0 | - |
TypeScript | 1 | 0 | - |
CSS | 1 | 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
Last updated: 2024-03-21T22:09:39.661764950Z Re-sync