Ada
languages / Ada2,667Developers
Top ranked
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 1 |  | stcarrez | 36 | 394 |
| 2 |  | pyjarrett | 13 | 373 |
| 3 |  | Lucretia | 28 | 331 |
| 4 |  | jrmarino | 9 | 313 |
| 5 |  | Fabien-Chouteau | 63 | 289 |
| 6 |  | AdaDoom3 | 2 | 235 |
| 7 |  | zertovitch | 18 | 207 |
| 8 |  | mk270 | 1 | 205 |
| 9 |  | tofgarion | 1 | 132 |
| 10 |  | onox | 16 | 128 |
4,637Repos
Top ranked
Most popular
| Topic | Repos | Stars |
|---|---|---|
| text | 1 | 345 |
| septum | 1 | 345 |
| search-in-text | 1 | 345 |
| vulkan | 2 | 233 |
| game-engine | 1 | 231 |
| ada-language | 16 | 193 |
| package-manager | 1 | 171 |
| formal-verification | 3 | 157 |
| formal-specification | 1 | 132 |
| formal-methods | 1 | 132 |