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 |