GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Repository Index
47,133 repositories indexed
1–24 of 89 · Most stars
William Whitaker's WORDS, a Latin dictionary
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
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
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
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
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
The Google Protocol Buffers implementation in Ada
Ada binding to the SFML library
- ada
- binding
- sfml
- multimedia
SHA-3 and other Keccak related algorithms in SPARK/Ada.
- hash-functions
- keccak
- sha-3
- sponge-construction
Zip-Ada: a standalone, portable pure Ada library for .zip archives. Includes LZMA and BZip2 byte stream encoder & decoder pairs.
- ada
- ada-language
- zip
- zip-archive
Simple audio synthesis library
A Game Boy emulation library in Ada
LEA is a Lightweight Editor for Ada
- ada
- ada-language
- editor
- scintilla
Simple to use cross-platform BDD driver for black box testing