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:Ada212 26 5823
gnatstudio
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Language:Ada480 44 17659
gsh
A POSIX shell for Windows.
Language:C119 9 1410
learn
Sources for learn.adacore.com
Language:Ada107 29 15942
libadalang
Ada semantic analysis library.
Language:Ada161 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/Certyflie
Language:Ada35 33 1317
AdaCore/Ada-IntelliJ
Support for Ada and SPARK languages in IntelliJ IDEA
Language:Java22 29 189
AdaCore/OPAVES
Open Platform for Autonomous VEhicle Systems
Language:C22 14 010
AdaCore/Ada-SPARK-Crate-Of-The-Year
21 34 222
AdaCore/gnat_community_install_script
Script to automate the installation of the GNAT Community Installers
Language:Shell18 40 412
AdaCore/embedded-runtimes
runtimes that add support for various boards to the GNAT GPL compiler for ARM
Language:Ada15 30 617
AdaCore/sparkformal
The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.
Language:Coq12 42 18
AdaCore/UnityAdaTetris
Language:Ada9 37 03
AdaCore/ada-py-bind
Language:Ada7 8 11
AdaCore/RESSAC_Use_Case
A Collaborative Development Assurance Lab
Language:Ada7 51 3212
AdaCore/Http_Cyclone
Language:C6 32 02
AdaCore/Compile_And_Prove_Demo
Demo project for new web site: Compile It! / Prove It!
Language:Ada5 44 03
AdaCore/SPARK_Railway_Simulation_Demo
Language:Ada5 40 37
AdaCore/code_examples_server
prototype server for creating interactive "try SPARK / try Ada" webpages
Language:Python3 33 05
AdaCore/language-examples
Examples of common software engineering constructs written in Ada and SPARK
Language:Ada3 3 04
AdaCore/SPARK_PDI_Demo
Use of SPARK to implement Parameter Data Items
Language:Ada3 45 04
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
Language:Ada2 10 03
AdaCore/OpenUxAS
Project for multi-UAV cooperative decision making
Language:C++2 2 03
AdaCore/gnatcoll
GNAT Components Collection (obsolete)
1 3 04
AdaCore/lal-checkers
Libadalang-based code checking infrastructure
Language:Python1 5 05
AdaCore/LmcpGen
Project to auto-create libraries adhering to the LMCP specification
Language:Java1 1 01
AdaCore/Lumos_Maxima
Lumos_Maxima repository for VerifyThis challenge
Language:Ada1 30 05
AdaCore/spark_translator
SPARK 2005 to 2014 translator
Language:Python1 34 04
AdaCore/ace
Ace (Ajax.org Cloud9 Editor)
Language:JavaScript21 02
AdaCore/AFLplusplus
The fuzzer afl++ is afl with community patches, AFLfast power schedules, qemu 3.1 upgrade + laf-intel support, MOpt mutators, InsTrim instrumentation, unicorn_mode, Redqueen and a lot more!
Language:C1 01
AdaCore/contributing-howto
Guidelines for contributing to AdaCore's repositories
44 16
AdaCore/OpenUxAS-bootstrap
Support to automatically install dependencies for and build OpenUxAS
Language:Python1 03
AdaCore/OpenUxAS-SoI
Project for multi-UAV cooperative decision making
Language:C++2 03
AdaCore/SPARK_memory
SPARK code example for SPARK blog post
Language:Ada33 02
AdaCore/symfpu
A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
Language:C++4 02