AdaCore

All

116 repositories

gnatformat
Public
Ada
•
Other
•0•6•1•0•Updated Dec 5, 2024Dec 5, 2024
ada_language_server
Public
Server implementing the Microsoft Language Protocol for Ada and SPARK
Ada
•
GNU General Public License v3.0
•56•241•46•1•Updated Dec 5, 2024Dec 5, 2024
gnatstudio
Public
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Ada
•54•416•46•5•Updated Dec 5, 2024Dec 5, 2024
gnatdoc
Public
GNAT Documentation Generator
Ada
•
Other
•1•2•4•1•Updated Dec 5, 2024Dec 5, 2024
gnatcoverage
Public
GNATcoverage: Coverage Analysis Tool
Ada
•9•39•5•0•Updated Dec 5, 2024Dec 5, 2024
gpr
Public
The framework for analyzing the GNAT Project (GPR) files
Ada
•
Apache License 2.0
•9•17•2•1•Updated Dec 4, 2024Dec 4, 2024
training_material
Public
Ada
•
Creative Commons Attribution 4.0 International
•7•20•0•38•Updated Dec 4, 2024Dec 4, 2024
VSS
Public
High level string and text processing library
Ada
•
Other
•7•53•0•0•Updated Dec 4, 2024Dec 4, 2024
bb-runtimes
Public
Source repository for the GNAT Bare Metal BSPs
Ada
•
Other
•51•65•0•4•Updated Dec 4, 2024Dec 4, 2024
libadalang
Public
Ada semantic analysis library.
Ada
•
Other
•42•147•14•1•Updated Dec 4, 2024Dec 4, 2024
langkit
Public
Language creation framework.
Python
•
Other
•35•78•2•4•Updated Dec 4, 2024Dec 4, 2024
langkit-query-language
Public
query language for Libadalang and Langkit
Ada
•
Other
•5•3•1•1•Updated Dec 4, 2024Dec 4, 2024
gprbuild
Public
GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
Ada
•
Other
•21•68•23•7•Updated Dec 4, 2024Dec 4, 2024
PolyORB
Public
PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
Ada
•
Other
•11•20•3•0•Updated Dec 4, 2024Dec 4, 2024
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
•33•250•2•0•Updated Dec 4, 2024Dec 4, 2024
libadalang-tools
Public
Libadalang-based tools
Ada
•
GNU General Public License v3.0
•14•16•24•3•Updated Dec 4, 2024Dec 4, 2024
gnatcoll-core
Public
GNAT Components Collection – Core packages
Ada
•
Other
•30•45•5•3•Updated Dec 4, 2024Dec 4, 2024
SPARKlib
Public
Ada
•
Apache License 2.0
•0•0•0•0•Updated Dec 4, 2024Dec 4, 2024
aws
Public
AWS is a complete framework to develop Web based applications in Ada.
Ada
•
Other
•37•131•34•2•Updated Dec 3, 2024Dec 3, 2024
e3-core
Public
Core framework for developing portable automated build systems
Python
•36•27•27•2•Updated Dec 3, 2024Dec 3, 2024
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
•7•107•183•0•Updated Dec 3, 2024Dec 3, 2024
gnat-llvm
Public
LLVM based GNAT compiler
Ada
•18•185•2•0•Updated Dec 2, 2024Dec 2, 2024
gnatcoll-bindings
Public
GNAT Components Collection – Bindings to C libraries
Ada
•
Other
•15•14•4•2•Updated Dec 2, 2024Dec 2, 2024
qemu
Public
C
•
Other
•8•12•0•0•Updated Dec 2, 2024Dec 2, 2024
learn
Public
Sources for learn.adacore.com
Ada
•
Creative Commons Attribution 4.0 International
•38•93•20•2•Updated Dec 1, 2024Dec 1, 2024
markdown
Public
Markdown parser
Ada
•
Other
•2•9•0•0•Updated Nov 28, 2024Nov 28, 2024
sphinxcontrib-adadomain
Public
Python
•
Other
•2•1•1•0•Updated Nov 28, 2024Nov 28, 2024
lal-refactor
Public
Ada
•
Other
•1•1•0•1•Updated Nov 28, 2024Nov 28, 2024
e3-aws
Public
High level interface for CloudFormation
Python
•
GNU General Public License v3.0
•14•4•1•0•Updated Nov 26, 2024Nov 26, 2024
ada_libfswatch
Public
prototype Ada binding to the libfswatch library https://github.com/emcrisostomo/fswatch/
Ada
•
Other
•3•0•0•0•Updated Nov 25, 2024Nov 25, 2024