AdaCore

All

120 repositories

spark2014
Public
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Ada
•
GNU General Public License v3.0
•39•284•3•0•Updated Aug 17, 2025Aug 17, 2025
learn
Public
Sources for learn.adacore.com
Ada
•
Creative Commons Attribution 4.0 International
•43•102•21•4•Updated Aug 16, 2025Aug 16, 2025
training_material
Public
Ada
•
Creative Commons Attribution 4.0 International
•9•29•1•93•Updated Aug 15, 2025Aug 15, 2025
gnat-llvm
Public
LLVM based GNAT compiler
Ada
•22•208•2•0•Updated Aug 14, 2025Aug 14, 2025
bb-runtimes
Public
Source repository for the GNAT Bare Metal BSPs
Ada
•
Other
•55•67•2•3•Updated Aug 14, 2025Aug 14, 2025
SPARKlib
Public
Ada
•
Apache License 2.0
•0•4•0•0•Updated Aug 13, 2025Aug 13, 2025
aws
Public
AWS is a complete framework to develop Web based applications in Ada.
Ada
•
Other
•39•143•34•2•Updated Aug 13, 2025Aug 13, 2025
e3-core
Public
Core framework for developing portable automated build systems
Python
•36•30•26•2•Updated Aug 13, 2025Aug 13, 2025
libadalang
Public
Ada semantic analysis library.
Ada
•
Other
•45•159•18•1•Updated Aug 13, 2025Aug 13, 2025
qemu
Public
C
•
Other
•8•12•0•0•Updated Aug 13, 2025Aug 13, 2025
lal-refactor
Public
Ada
•
Other
•1•1•0•1•Updated Aug 13, 2025Aug 13, 2025
ada_language_server
Public
Server implementing the Microsoft Language Protocol for Ada and SPARK
Ada
•
GNU General Public License v3.0
•64•273•44•7•Updated Aug 13, 2025Aug 13, 2025
gnatstudio
Public
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Ada
•57•466•45•6•Updated Aug 13, 2025Aug 13, 2025
langkit-query-language
Public
query language for Libadalang and Langkit
Ada
•
Other
•6•5•1•0•Updated Aug 8, 2025Aug 8, 2025
gpr
Public
The framework for analyzing the GNAT Project (GPR) files
Ada
•
Apache License 2.0
•9•19•2•0•Updated Aug 8, 2025Aug 8, 2025
e3-aws
Public
High level interface for CloudFormation
Python
•
GNU General Public License v3.0
•14•5•0•0•Updated Aug 8, 2025Aug 8, 2025
libadalang-tools
Public
Libadalang-based tools
Ada
•
GNU General Public License v3.0
•16•18•27•5•Updated Aug 8, 2025Aug 8, 2025
gnatcoverage
Public
GNATcoverage: Coverage Analysis Tool
Ada
•10•43•5•0•Updated Aug 7, 2025Aug 7, 2025
gnatformat
Public
Ada
•
Other
•2•9•4•0•Updated Aug 7, 2025Aug 7, 2025
gprconfig_kb
Public
GPR configuration knowledge base
Other
•11•4•2•4•Updated Aug 6, 2025Aug 6, 2025
lsif-ada
Public
Ada
•
Other
•0•1•0•0•Updated Aug 5, 2025Aug 5, 2025
gnatdoc
Public
GNAT Documentation Generator
Ada
•
Other
•1•4•5•1•Updated Jul 31, 2025Jul 31, 2025
langkit
Public
Language creation framework.
Ada
•
Other
•34•84•2•4•Updated Jul 31, 2025Jul 31, 2025
VSS
Public
High level string and text processing library
Ada
•
Other
•9•60•3•1•Updated Jul 31, 2025Jul 31, 2025
prettier-ada
Public
Ada
•
Apache License 2.0
•1•8•0•0•Updated Jul 30, 2025Jul 30, 2025
RecordFlux
Public
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
parser spark communication-protocol formal-methods ada protocol-parser binary-parser formal-verification protocol-specification formal-specification
Ada
•
Apache License 2.0
•8•118•185•0•Updated Jul 29, 2025Jul 29, 2025
gtkada
Public
Ada bindings for the GTK+ graphical library.
Ada
•
Other
•20•93•29•8•Updated Jul 29, 2025Jul 29, 2025
why3
Public
SPARK 2014 repository for the Why3 verification platform.
OCaml
•
Other
•7•32•2•0•Updated Jul 28, 2025Jul 28, 2025
gnatcoll-core
Public
GNAT Components Collection – Core packages
Ada
•
Other
•31•51•8•3•Updated Jul 24, 2025Jul 24, 2025
gprbuild
Public
GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
Ada
•
Other
•20•73•27•7•Updated Jul 21, 2025Jul 21, 2025