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:Ada257 57 112147
ada_language_server
Server implementing the Microsoft Language Protocol for Ada and SPARK
Language:Ada253 34 23263
aws
AWS is a complete framework to develop Web based applications in Ada.
Language:Ada138 35 8137
gnat-llvm
LLVM based GNAT compiler
Language:Ada193 25 5120
gnatstudio
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Language:Ada438 47 17056
gsh
A POSIX shell for Windows.
Language:C110 9 1410
learn
Sources for learn.adacore.com
Language:Ada96 29 15240
libadalang
Ada semantic analysis library.
Language:Ada151 38 14344
RecordFlux
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Language:Ada112 11 7948
spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Language:Ada265 45 4436

AdaCore's Repositories

AdaCore/gnatstudio
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Language:Ada438 47 17056
AdaCore/spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Language:Ada265 45 4436
AdaCore/ada_language_server
Server implementing the Microsoft Language Protocol for Ada and SPARK
Language:Ada253 34 23263
AdaCore/gnat-llvm
LLVM based GNAT compiler
Language:Ada193 25 5120
AdaCore/libadalang
Ada semantic analysis library.
Language:Ada151 38 14344
AdaCore/aws
AWS is a complete framework to develop Web based applications in Ada.
Language:Ada138 35 8137
AdaCore/learn
Sources for learn.adacore.com
Language:Ada96 29 15240
AdaCore/langkit
Language creation framework.
Language:Ada81 31 3535
AdaCore/gprbuild
GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
Language:Ada69 37 11721
AdaCore/bb-runtimes
Source repository for the GNAT Bare Metal BSPs
Language:Ada68 21 3753
AdaCore/ada-spark-rfcs
Platform to submit RFCs for the Ada & SPARK languages
64 57 3729
AdaCore/VSS
High level string and text processing library
Language:Ada55 25 107
AdaCore/gnatcoll-core
GNAT Components Collection – Core packages
Language:Ada48 15 6431
AdaCore/gnatcoverage
GNATcoverage: Coverage Analysis Tool
Language:Ada41 10 1610
AdaCore/e3-core
Core framework for developing portable automated build systems
Language:Python29 16 8036
AdaCore/why3
SPARK 2014 repository for the Why3 verification platform.
Language:OCaml29 11 37
AdaCore/training_material
Language:Ada23 30 39
AdaCore/gpr
The framework for analyzing the GNAT Project (GPR) files
Language:Ada18 10 89
AdaCore/libadalang-tools
Libadalang-based tools
Language:Ada16 9 3115
AdaCore/qemu
Language:C12 7 08
AdaCore/gnatformat
Language:Ada7 4 42
AdaCore/e3-aws
High level interface for CloudFormation
Language:Python5 9 214
AdaCore/langkit-query-language
query language for Libadalang and Langkit
Language:Ada5 27 16
AdaCore/gprconfig_kb
GPR configuration knowledge base
4 30 610
AdaCore/SPARKlib
Language:Ada4 4 0
AdaCore/gnatdoc
GNAT Documentation Generator
Language:Ada3 28 91
AdaCore/cheri-examples
Language:Ada2 3 00
AdaCore/alt-ergo
SPARK 2014 repository for the Alt-Ergo SMT solver.
Language:OCaml1 5 04
AdaCore/lal-refactor
Language:Ada1 4 01
AdaCore/sphinxcontrib-adadomain
Language:Python1 30 12