AdaCore

AdaCore is the leading provider of commercial software solutions for Ada.

Paris, France - New York City, NY

Pinned Repositories

Ada_Drivers_Library
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
Language:Ada265 56 113154
ada_language_server
Server implementing the Microsoft Language Protocol for Ada and SPARK
Language:Ada275 33 24365
aws
AWS is a complete framework to develop Web based applications in Ada.
Language:Ada149 32 8339
gnat-llvm
LLVM based GNAT compiler
Language:Ada211 26 5823
gnatstudio
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Language:Ada479 44 17659
gsh
A POSIX shell for Windows.
Language:C117 9 1410
learn
Sources for learn.adacore.com
Language:Ada107 29 15942
libadalang
Ada semantic analysis library.
Language:Ada160 38 14646
RecordFlux
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Language:Ada122 10 7968
spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Language:Ada287 45 4839

AdaCore's Repositories

AdaCore/labs-material
Support Libraries for AdaCore University Labs
Language:Ada7 6 05
AdaCore/tictactoe
A tictactoe game written and proven in SPARK
Language:Ada3 45 05
AdaCore/SPARK-to-C_Tetris_Demo
Language:Ada1 44 13