GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Repository Index
57,138 visible repositories in the index
1–22 of 22 · Most stars
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Ada Web Application - Framework to build high performance secure web applications
- web-framework
- ada
- database
- orm
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
HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
A model-based flight software framework for Ada
- ada
- ada-spark
- adamant
- flight-software
LEA is a Lightweight Editor for Ada
- ada
- ada-language
- editor
- scintilla
Simple to use cross-platform BDD driver for black box testing
The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted from a standard web tree, including graphics and Java class files) and dynamic pages. It is written in GCC Ada.
An Ada 2012 emulation of Charles Babbage’s Analytical Engine
- ada
- emulator
- gmp
The Ada Conformity Assessment Test Suite, customised for GCC.
Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL
ColdFrame generates Ada framework code and documentation from UML models.
- argouml
- ada
A standalone lightweight auxiliary CLI video player support for BlackVideo.
- blackvideo
- sdl2
- video-player
- video-streaming
Ada implementation of D’Hondt electoral result calculator
An Ada implementation of XPath 1.0.
RISC-V 64-bit Kernel written in Ada
Converts Ada sources’ ASIS representation to XML, so as to make it easier to develop reporting and transformational tools using (for example) XSLT.
Supports functional testing using Tcl scripts.
Provides GCC 'specs' files to cope with macOS SDK policy changes
- fsf-gcc
- xcode-sdk
- gcc
- macos
Demos of multiplexed digital I/O for AdaPilot