AdaCore
AdaCore is the leading provider of commercial software solutions for Ada.
- 278 followers
- Paris, France - New York City, NY
- https://www.adacore.com
Popular repositories Loading
-
gnatstudio
gnatstudio PublicGNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
-
Ada_Drivers_Library
Ada_Drivers_Library PublicAda source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
-
ada_language_server
ada_language_server PublicServer implementing the Microsoft Language Protocol for Ada and SPARK
-
Repositories
Showing 10 of 116 repositories
- training_material Public
AdaCore/training_material’s past year of commit activity - training_labs_solar_system Public
AdaCore/training_labs_solar_system’s past year of commit activity