Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by AdaCore
A curated list of projects in awesome lists by AdaCore .
https://github.com/AdaCore/gnatstudio
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Last synced: 25 Oct 2024
https://github.com/AdaCore/spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Last synced: 26 Oct 2024
https://github.com/AdaCore/Ada_Drivers_Library
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
Last synced: 26 Oct 2024
https://github.com/AdaCore/ada_language_server
Server implementing the Microsoft Language Protocol for Ada and SPARK
Last synced: 26 Oct 2024
https://github.com/AdaCore/aws
AWS is a complete framework to develop Web based applications in Ada.
Last synced: 26 Oct 2024
https://github.com/AdaCore/RecordFlux
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
ada binary-parser communication-protocol formal-methods formal-specification formal-verification parser protocol-parser protocol-specification python spark
Last synced: 26 Oct 2024
https://github.com/AdaCore/gtkada
Ada bindings for the GTK+ graphical library.
Last synced: 25 Oct 2024
https://github.com/AdaCore/bb-runtimes
Source repository for the GNAT Bare Metal BSPs
Last synced: 25 Oct 2024
https://github.com/AdaCore/gprbuild
GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
Last synced: 25 Oct 2024
https://github.com/AdaCore/svd2ada
An Ada binding generator from SVD descriptions for bare board ARM devices.
Last synced: 26 Oct 2024
https://github.com/AdaCore/gnatcoll-core
GNAT Components Collection – Core packages
Last synced: 25 Oct 2024
https://github.com/AdaCore/gnatcoverage
GNATcoverage: Coverage Analysis Tool
Last synced: 26 Oct 2024
https://github.com/AdaCore/ada-traits-containers
Generic Ada Library for Algorithms and Containers
Last synced: 26 Oct 2024
https://github.com/AdaCore/PolyORB
PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
Last synced: 25 Oct 2024
https://github.com/AdaCore/Robotics_with_Ada
Robotics with Ada, ARM, and Lego
Last synced: 26 Oct 2024
https://github.com/AdaCore/gnatcoll-bindings
GNAT Components Collection – Bindings to C libraries
Last synced: 25 Oct 2024
https://github.com/AdaCore/gnatcoll-db
GNAT Components Collection – Database packages
Last synced: 25 Oct 2024
https://github.com/AdaCore/tictactoe
A tictactoe game written and proven in SPARK
Last synced: 25 Oct 2024
https://github.com/AdaCore/Lunar_Lander_Rotation_Demo
Demonstration program that interacts with the AdaFruit BNO055 breakout board in order to send orientation data to a host computer
Last synced: 26 Oct 2024