GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Repository Index
47,133 repositories indexed
1–24 of 44 · Most stars
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
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
- formal-verification
- formal-methods
- formal-specification
- ada
SPARK 2014 re-implementation of the TweetNaCl crypto library
Ada 2022 bindings to SDL 2
- sdl
- sdl-ttf
- ada
- ada2012
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Ada Web Application - Framework to build high performance secure web applications
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
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
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
Ada-language framework
- ada
- ada-language
- arm
- avr
A model-based flight software framework for Ada
- ada
- ada-spark
- adamant
- flight-software
SHA-3 and other Keccak related algorithms in SPARK/Ada.
- hash-functions
- keccak
- sha-3
- sponge-construction
Ada Database Objects
An attempt at a minimalistic and secure operating system.
Collection of basic math routines in Ada
Ada Embedded Network Stack
Yet Another Static Site (Generator)
GWindows: GUI framework for MS Windows and Winelib
- ada
- ada-language
- windows
- gui-framework
Ada Security - OAuth 2.0 client and server framework to secure web applications
- oauth
- openid
- authentication
- permissions