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:Ada276 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 27 15942
libadalang
Ada semantic analysis library.
Language:Ada161 34 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 43 4839

AdaCore's Repositories

AdaCore/Ada_Drivers_Library
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
Language:Ada265 56 113154
AdaCore/RecordFlux
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Language:Ada122 10 7968
AdaCore/gtkada
Ada bindings for the GTK+ graphical library.
Language:Ada97 15 4921
AdaCore/langkit
Language creation framework.
Language:Ada88 30 3634
AdaCore/gprbuild
GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
Language:Ada78 35 12220
AdaCore/bb-runtimes
Source repository for the GNAT Bare Metal BSPs
Language:Ada68 20 3758
AdaCore/VSS
High level string and text processing library
Language:Ada60 25 189
AdaCore/gnatcoll-core
GNAT Components Collection – Core packages
Language:Ada53 14 6732
AdaCore/why3
SPARK 2014 repository for the Why3 verification platform.
Language:OCaml32 9 57
AdaCore/e3-core
Core framework for developing portable automated build systems
Language:Python31 14 8036
AdaCore/PolyORB
PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
Language:Ada22 29 613
AdaCore/win32ada
Ada API to the Windows library
Language:Ada21 31 44
AdaCore/libadalang-tools
Libadalang-based tools
Language:Ada18 9 3316
AdaCore/qemu
Language:C14 6 08
AdaCore/gnatcoll-db
GNAT Components Collection – Database packages
Language:C13 8 5322
AdaCore/markdown
Markdown parser
Language:Ada10 28 02
AdaCore/prettier-ada
Language:Ada8 6 11
AdaCore/e3-testsuite
e3 testsuite driver
Language:Python7 26 517
AdaCore/gprconfig_kb
GPR configuration knowledge base
5 29 711
AdaCore/SPARKlib
Language:Ada4 4 01
AdaCore/lmod_manager
lmod based management tool for GNAT and SPARK installations
Language:Python3 28 21
AdaCore/mars-rover-demo
Language:Rust31
AdaCore/RecordFlux-devutils
Language:Python3 6 31
AdaCore/uwrap
Language:Ada2 23 91
AdaCore/lsif-ada
Language:Ada1 3 00
AdaCore/gnat-community-archives
Language:Python
AdaCore/llvm-project
Language:LLVM
AdaCore/vss-extra
0 0
AdaCore/vss-text
Language:Ada0 0
AdaCore/xdiff
Language:C0 0