AdaCore

All

116 repositories

cvc5
Public
SPARK 2014 repository for the CVC4 SMT solver.
SMT
•
Other
•5•0•0•0•Updated Dec 18, 2024Dec 18, 2024
ada_language_server
Public
Server implementing the Microsoft Language Protocol for Ada and SPARK
Ada
•
GNU General Public License v3.0
•56•242•47•1•Updated Dec 18, 2024Dec 18, 2024
gnatstudio
Public
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Ada
•54•418•46•5•Updated Dec 18, 2024Dec 18, 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 18, 2024Dec 18, 2024
training_material
Public
Ada
•
Creative Commons Attribution 4.0 International
•7•20•0•57•Updated Dec 17, 2024Dec 17, 2024
e3-aws
Public
High level interface for CloudFormation
Python
•
GNU General Public License v3.0
•14•4•0•0•Updated Dec 17, 2024Dec 17, 2024
markdown
Public
Markdown parser
Ada
•
Other
•2•9•0•0•Updated Dec 17, 2024Dec 17, 2024
libadalang-tools
Public
Libadalang-based tools
Ada
•
GNU General Public License v3.0
•14•16•24•3•Updated Dec 17, 2024Dec 17, 2024
gnat-llvm
Public
LLVM based GNAT compiler
Ada
•18•185•2•0•Updated Dec 17, 2024Dec 17, 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 17, 2024Dec 17, 2024
langkit
Public
Language creation framework.
Python
•
Other
•35•78•2•4•Updated Dec 17, 2024Dec 17, 2024
libadalang
Public
Ada semantic analysis library.
Ada
•
Other
•42•147•14•1•Updated Dec 17, 2024Dec 17, 2024
gpr
Public
The framework for analyzing the GNAT Project (GPR) files
Ada
•
Apache License 2.0
•9•17•2•0•Updated Dec 17, 2024Dec 17, 2024
gnatdoc
Public
GNAT Documentation Generator
Ada
•
Other
•1•2•4•1•Updated Dec 17, 2024Dec 17, 2024
e3-core
Public
Core framework for developing portable automated build systems
Python
•36•28•27•2•Updated Dec 17, 2024Dec 17, 2024
gnatcoverage
Public
GNATcoverage: Coverage Analysis Tool
Ada
•9•39•5•0•Updated Dec 17, 2024Dec 17, 2024
aws
Public
AWS is a complete framework to develop Web based applications in Ada.
Ada
•
Other
•37•131•33•2•Updated Dec 16, 2024Dec 16, 2024
langkit-query-language
Public
query language for Libadalang and Langkit
Ada
•
Other
•5•3•1•1•Updated Dec 16, 2024Dec 16, 2024
gnatcoll-core
Public
GNAT Components Collection – Core packages
Ada
•
Other
•31•45•7•3•Updated Dec 16, 2024Dec 16, 2024
gnatformat
Public
Ada
•
Other
•0•6•2•0•Updated Dec 16, 2024Dec 16, 2024
learn
Public
Sources for learn.adacore.com
Ada
•
Creative Commons Attribution 4.0 International
•38•94•20•3•Updated Dec 14, 2024Dec 14, 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 12, 2024Dec 12, 2024
training_labs_solar_system
Public
Ada
•
GNU General Public License v3.0
•0•1•0•0•Updated Dec 10, 2024Dec 10, 2024
gprconfig_kb
Public
GPR configuration knowledge base
Other
•9•3•1•2•Updated Dec 10, 2024Dec 10, 2024
e3-testsuite
Public
e3 testsuite driver
Python
•
GNU General Public License v3.0
•17•6•0•1•Updated Dec 10, 2024Dec 10, 2024
bb-runtimes
Public
Source repository for the GNAT Bare Metal BSPs
Ada
•
Other
•51•65•2•3•Updated Dec 10, 2024Dec 10, 2024
gprbuild
Public
GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
Ada
•
Other
•21•68•24•7•Updated Dec 6, 2024Dec 6, 2024
VSS
Public
High level string and text processing library
Ada
•
Other
•7•53•0•0•Updated Dec 4, 2024Dec 4, 2024
SPARKlib
Public
Ada
•
Apache License 2.0
•0•0•0•0•Updated Dec 4, 2024Dec 4, 2024
gnatcoll-bindings
Public
GNAT Components Collection – Bindings to C libraries
Ada
•
Other
•15•14•4•2•Updated Dec 2, 2024Dec 2, 2024