GitHub repos by AdaCore
11 public repos by AdaCore in the catalog, most starred first.
- AdaCore/gnatstudioStars: 534AdaAlpha
- AdaCore/spark2014Stars: 332AdaAlpha
- AdaCore/ada_language_serverStars: 307AdaAlpha
- AdaCore/Ada_Drivers_LibraryStars: 287AdaAlpha
- AdaCore/gnat-llvmStars: 240AdaPrototype
- AdaCore/libadalangStars: 172AdaPrototype
- AdaCore/awsStars: 163AdaPrototype
- AdaCore/RecordFluxStars: 131AdaPrototype
- AdaCore/gshStars: 117CPrototype
- AdaCore/learnStars: 116AdaPrototype
- AdaCore/gtkadaStars: 112AdaPrototype