AdaCore

All

116 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
•36•265•3•0•Updated Mar 8, 2025Mar 8, 2025
gprconfig_kb
Public
GPR configuration knowledge base
Other
•10•4•2•3•Updated Mar 7, 2025Mar 7, 2025
ada_language_server
Public
Server implementing the Microsoft Language Protocol for Ada and SPARK
Ada
•
GNU General Public License v3.0
•63•253•46•1•Updated Mar 7, 2025Mar 7, 2025
gpr
Public
The framework for analyzing the GNAT Project (GPR) files
Ada
•
Apache License 2.0
•9•18•2•0•Updated Mar 7, 2025Mar 7, 2025
gnat-llvm
Public
LLVM based GNAT compiler
Ada
•20•191•1•0•Updated Mar 7, 2025Mar 7, 2025
langkit-query-language
Public
query language for Libadalang and Langkit
Ada
•
Other
•6•5•1•1•Updated Mar 7, 2025Mar 7, 2025
training_material
Public
Ada
•
Creative Commons Attribution 4.0 International
•9•23•1•90•Updated Mar 7, 2025Mar 7, 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•112•184•0•Updated Mar 7, 2025Mar 7, 2025
gnatcoverage
Public
GNATcoverage: Coverage Analysis Tool
Ada
•10•41•5•0•Updated Mar 7, 2025Mar 7, 2025
gnatstudio
Public
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Ada
•56•434•42•5•Updated Mar 7, 2025Mar 7, 2025
gnatcoll-core
Public
GNAT Components Collection – Core packages
Ada
•
Other
•31•48•8•3•Updated Mar 7, 2025Mar 7, 2025
qemu
Public
C
•
Other
•8•12•0•0•Updated Mar 7, 2025Mar 7, 2025
gnatdoc
Public
GNAT Documentation Generator
Ada
•
Other
•1•3•3•1•Updated Mar 7, 2025Mar 7, 2025
libadalang
Public
Ada semantic analysis library.
Ada
•
Other
•44•151•17•1•Updated Mar 6, 2025Mar 6, 2025
gnatformat
Public
Ada
•
Other
•2•7•3•0•Updated Mar 6, 2025Mar 6, 2025
e3-aws
Public
High level interface for CloudFormation
Python
•
GNU General Public License v3.0
•14•5•0•0•Updated Mar 6, 2025Mar 6, 2025
libadalang-tools
Public
Libadalang-based tools
Ada
•
GNU General Public License v3.0
•14•16•25•3•Updated Mar 6, 2025Mar 6, 2025
e3-core
Public
Core framework for developing portable automated build systems
Python
•36•29•27•2•Updated Mar 6, 2025Mar 6, 2025
alt-ergo
Public
SPARK 2014 repository for the Alt-Ergo SMT solver.
OCaml
•
Other
•4•1•0•0•Updated Mar 6, 2025Mar 6, 2025
lal-refactor
Public
Ada
•
Other
•1•1•0•1•Updated Mar 6, 2025Mar 6, 2025
cheri-examples
Public
Ada
•
Other
•0•2•0•0•Updated Mar 5, 2025Mar 5, 2025
VSS
Public
High level string and text processing library
Ada
•
Other
•7•54•0•0•Updated Mar 5, 2025Mar 5, 2025
SPARKlib
Public
Ada
•
Apache License 2.0
•0•4•0•0•Updated Mar 5, 2025Mar 5, 2025
ada-spark-rfcs
Public
Platform to submit RFCs for the Ada & SPARK languages
29•64•23•31•Updated Feb 28, 2025Feb 28, 2025
langkit
Public
Language creation framework.
Ada
•
Other
•35•80•2•4•Updated Feb 27, 2025Feb 27, 2025
why3
Public
SPARK 2014 repository for the Why3 verification platform.
OCaml
•
Other
•7•29•1•0•Updated Feb 27, 2025Feb 27, 2025
learn
Public
Sources for learn.adacore.com
Ada
•
Creative Commons Attribution 4.0 International
•40•95•20•3•Updated Feb 26, 2025Feb 26, 2025
bb-runtimes
Public
Source repository for the GNAT Bare Metal BSPs
Ada
•
Other
•53•68•2•3•Updated Feb 26, 2025Feb 26, 2025
aws
Public
AWS is a complete framework to develop Web based applications in Ada.
Ada
•
Other
•38•137•31•3•Updated Feb 26, 2025Feb 26, 2025
sphinxcontrib-adadomain
Public
Python
•
Other
•2•1•1•0•Updated Feb 25, 2025Feb 25, 2025