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/gnatstudio
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Language:Ada479 44 17659
AdaCore/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/ada_language_server
Server implementing the Microsoft Language Protocol for Ada and SPARK
Language:Ada275 33 24365
AdaCore/gnat-llvm
LLVM based GNAT compiler
Language:Ada211 26 5823
AdaCore/libadalang
Ada semantic analysis library.
Language:Ada160 38 14646
AdaCore/aws
AWS is a complete framework to develop Web based applications in Ada.
Language:Ada149 32 8339
AdaCore/learn
Sources for learn.adacore.com
Language:Ada107 29 15942
AdaCore/ada-spark-rfcs
Platform to submit RFCs for the Ada & SPARK languages
68 47 6929
AdaCore/gnatcoverage
GNATcoverage: Coverage Analysis Tool
Language:Ada44 9 1610
AdaCore/startup-gen
A startup code generator for embedded projects
Language:Ada32 32 710
AdaCore/training_material
Language:Ada30 29 59
AdaCore/xmlada
The XML/Ada toolkit.
Language:Ada27 10 1615
AdaCore/gpr
The framework for analyzing the GNAT Project (GPR) files
Language:Ada20 9 109
AdaCore/spawn
Language:Ada17 29 56
AdaCore/gnatcoll-bindings
GNAT Components Collection – Bindings to C libraries
Language:Ada16 34 1315
AdaCore/adareducer
Language:Python13 28 172
AdaCore/aunit
Language:Ada11 27 1218
AdaCore/gnatformat
Language:Ada11 4 62
AdaCore/templates-parser
AWS templates engine.
Language:Ada10 29 918
AdaCore/AdaSAT
Language:Ada8 3 13
AdaCore/florist
Language:Ada7 30 53
AdaCore/e3-aws
High level interface for CloudFormation
Language:Python5 8 214
AdaCore/langkit-query-language
query language for Libadalang and Langkit
Language:Ada5 27 16
AdaCore/wposix
Ada Windows POSIX binding
Language:Ada5 4 03
AdaCore/gnatdoc
GNAT Documentation Generator
Language:Ada4 29 122
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
AdaCore/ada_libfswatch
prototype Ada binding to the libfswatch library https://github.com/emcrisostomo/fswatch/
Language:Ada29 03
AdaCore/spdx_ada
Language:Ada