Ada
languages / Ada2,822Developers
Top ranked
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 1 |  | stcarrez | 36 | 411 |
| 2 |  | pyjarrett | 8 | 387 |
| 3 |  | Lucretia | 30 | 339 |
| 4 |  | Fabien-Chouteau | 65 | 313 |
| 5 |  | jrmarino | 7 | 301 |
| 6 |  | AdaDoom3 | 2 | 242 |
| 7 |  | zertovitch | 18 | 231 |
| 8 |  | mk270 | 1 | 225 |
| 9 |  | tofgarion | 1 | 145 |
| 10 |  | onox | 16 | 137 |
4,909Repos
Top ranked
| Rank | Repo | Stars | Developer | |
|---|---|---|---|---|
 | 1 | septum | 356 | pyjarrett |
| 2 | AdaDoom3 | 238 | AdaDoom3 |
| 3 | synth | 237 | jrmarino |
| 4 | whitakers-words | 225 | mk270 |
| 5 | spark-by-example | 145 | tofgarion |
| 6 | tamp | 106 | Lucretia |
| 7 | amass-tools | 105 | PatrikFehrenbach |
| 8 | sdlada | 93 | Lucretia |
| 9 | OpenGLAda | 85 | flyx |
| 10 | SPARKNaCl | 84 | rod-chapman |
Most popular
| Topic | Repos | Stars |
|---|---|---|
| text | 1 | 347 |
| septum | 1 | 347 |
| search-in-text | 1 | 347 |
| vulkan | 2 | 234 |
| game-engine | 1 | 232 |
| ada-language | 16 | 194 |
| package-manager | 1 | 171 |
| formal-verification | 3 | 157 |
| game | 9 | 133 |
| formal-specification | 1 | 132 |