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.
ada_language_server
Server implementing the Microsoft Language Protocol for Ada and SPARK
aws
AWS is a complete framework to develop Web based applications in Ada.
gnat-llvm
LLVM based GNAT compiler
gnatstudio
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
gsh
A POSIX shell for Windows.
learn
Sources for learn.adacore.com
libadalang
Ada semantic analysis library.
RecordFlux
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
AdaCore's Repositories
AdaCore/Certyflie
AdaCore/OPAVES
Open Platform for Autonomous VEhicle Systems
AdaCore/gnat_community_install_script
Script to automate the installation of the GNAT Community Installers
AdaCore/embedded-runtimes
runtimes that add support for various boards to the GNAT GPL compiler for ARM
AdaCore/sparkformal
The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.
AdaCore/UnityAdaTetris
AdaCore/labs-material
Support Libraries for AdaCore University Labs
AdaCore/RESSAC_Use_Case
A Collaborative Development Assurance Lab
AdaCore/ada-py-bind
AdaCore/Http_Cyclone
AdaCore/Compile_And_Prove_Demo
Demo project for new web site: Compile It! / Prove It!
AdaCore/SPARK_Railway_Simulation_Demo
AdaCore/code_examples_server
prototype server for creating interactive "try SPARK / try Ada" webpages
AdaCore/language-examples
Examples of common software engineering constructs written in Ada and SPARK
AdaCore/SPARK_PDI_Demo
Use of SPARK to implement Parameter Data Items
AdaCore/tictactoe
A tictactoe game written and proven in SPARK
AdaCore/Lunar_Lander_Rotation_Demo
Demonstration program that interacts with the AdaFruit BNO055 breakout board in order to send orientation data to a host computer
AdaCore/gnatcoll
GNAT Components Collection (obsolete)
AdaCore/Lumos_Maxima
Lumos_Maxima repository for VerifyThis challenge
AdaCore/SPARK-to-C_Tetris_Demo
AdaCore/spark_translator
SPARK 2005 to 2014 translator
AdaCore/spat
SPARK Proof Analysis Tool
AdaCore/ace
Ace (Ajax.org Cloud9 Editor)
AdaCore/OpenUxAS-SoI
Project for multi-UAV cooperative decision making
AdaCore/SPARK_memory
SPARK code example for SPARK blog post
AdaCore/symfpu
A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point