AdaCore

All

116 repositories

aws
Public
AWS is a complete framework to develop Web based applications in Ada.
Ada
•
Other
•38•132•31•3•Updated Jan 8, 2025Jan 8, 2025
langkit-query-language
Public
query language for Libadalang and Langkit
Ada
•
Other
•5•3•1•1•Updated Jan 8, 2025Jan 8, 2025
SPARKlib
Public
Ada
•
Apache License 2.0
•0•0•0•0•Updated Jan 8, 2025Jan 8, 2025
training_material
Public
Ada
•
Creative Commons Attribution 4.0 International
•8•21•0•66•Updated Jan 8, 2025Jan 8, 2025
ada_language_server
Public
Server implementing the Microsoft Language Protocol for Ada and SPARK
Ada
•
GNU General Public License v3.0
•60•244•47•1•Updated Jan 8, 2025Jan 8, 2025
gnat-llvm
Public
LLVM based GNAT compiler
Ada
•19•188•1•0•Updated Jan 8, 2025Jan 8, 2025
gpr
Public
The framework for analyzing the GNAT Project (GPR) files
Ada
•
Apache License 2.0
•9•17•2•0•Updated Jan 8, 2025Jan 8, 2025
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
•34•253•3•0•Updated Jan 8, 2025Jan 8, 2025
florist
Public
Ada
•
GNU General Public License v2.0
•3•6•3•5•Updated Jan 8, 2025Jan 8, 2025
lal-refactor
Public
Ada
•
Other
•1•1•0•1•Updated Jan 8, 2025Jan 8, 2025
bb-runtimes
Public
Source repository for the GNAT Bare Metal BSPs
Ada
•
Other
•52•65•2•3•Updated Jan 8, 2025Jan 8, 2025
e3-aws
Public
High level interface for CloudFormation
Python
•
GNU General Public License v3.0
•14•4•0•0•Updated Jan 8, 2025Jan 8, 2025
gnatstudio
Public
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Ada
•55•420•47•5•Updated Jan 8, 2025Jan 8, 2025
libadalang-tools
Public
Libadalang-based tools
Ada
•
GNU General Public License v3.0
•14•16•24•3•Updated Jan 8, 2025Jan 8, 2025
gnatcoverage
Public
GNATcoverage: Coverage Analysis Tool
Ada
•10•39•5•0•Updated Jan 8, 2025Jan 8, 2025
libadalang
Public
Ada semantic analysis library.
Ada
•
Other
•43•147•14•1•Updated Jan 7, 2025Jan 7, 2025
spawn
Public
Ada
•
Other
•6•17•2•4•Updated Jan 7, 2025Jan 7, 2025
qemu
Public
C
•
Other
•8•12•0•0•Updated Jan 7, 2025Jan 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•109•183•0•Updated Jan 7, 2025Jan 7, 2025
e3-core
Public
Core framework for developing portable automated build systems
Python
•36•28•27•2•Updated Jan 6, 2025Jan 6, 2025
langkit
Public
Language creation framework.
Python
•
Other
•35•78•2•4•Updated Jan 6, 2025Jan 6, 2025
gnatformat
Public
Ada
•
Other
•2•6•3•0•Updated Jan 6, 2025Jan 6, 2025
learn
Public
Sources for learn.adacore.com
Ada
•
Creative Commons Attribution 4.0 International
•39•94•20•2•Updated Jan 6, 2025Jan 6, 2025
PolyORB
Public
PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
Ada
•
Other
•12•20•3•0•Updated Dec 25, 2024Dec 25, 2024
VSS
Public
High level string and text processing library
Ada
•
Other
•8•54•0•0•Updated Dec 23, 2024Dec 23, 2024
prettier-ada
Public
Ada
•
Apache License 2.0
•1•6•0•0•Updated Dec 20, 2024Dec 20, 2024
z3
Public
SPARK 2014 repository for the Z3 SMT solver.
C++
•
Other
•4•1•0•1•Updated Dec 18, 2024Dec 18, 2024
templates-parser
Public
AWS templates engine.
Ada
•
Other
•17•7•1•1•Updated Dec 18, 2024Dec 18, 2024
training_labs_solar_system
Public
Ada
•
GNU General Public License v3.0
•0•1•0•0•Updated Dec 18, 2024Dec 18, 2024
why3
Public
SPARK 2014 repository for the Why3 verification platform.
OCaml
•
Other
•7•29•0•0•Updated Dec 18, 2024Dec 18, 2024