GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Repository Index
56,139 visible repositories in the index
1–24 of 122 · Most stars
Context-based code search tool
- septum
- text
- search-in-text
- grep
Command-line tool from the Alire project and supporting library
- ada
- ada-2012
- package-manager
- package-manager-tool
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Server implementing the Microsoft Language Protocol for Ada and SPARK
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
Id Software's Id-tech-4-BFG in the Ada programming language.
- ada
- vulkan
- game-engine
Ada semantic analysis library.
SPARK 2014 re-implementation of the TweetNaCl crypto library
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
PowerJoular monitors power consumption of multiple platforms and processes, on Windows, Linux and macOS
- ada
- energy
- green
- power
Ada Web Application - Framework to build high performance secure web applications
- web-framework
- ada
- database
- orm
Ada bindings for the GTK+ graphical library.
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
Ada Bare Bones OS development tutorial source code
- ada
- port
- bare-bones-tutorial
- bare-bones
Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
- logging
- process
- streams
- serializer
GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics and the BBC micro:bit (v1); working on Espressif ESP32-H2 and RaspberryPi RP2350 (risc-v core)
- ada
- gnat
- cortex
- rts
A secure and high performances microkernel for building secure MCU-based IoTs
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
- aadl
- ada
Source repository for the GNAT Bare Metal BSPs
An Ada binding generator from SVD descriptions for bare board ARM devices.
HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
GNAT Components Collection – Core packages