GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Repository Index
47,133 repositories indexed
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.
Server implementing the Microsoft Language Protocol for Ada and SPARK
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
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
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
SHA-3 and other Keccak related algorithms in SPARK/Ada.
- hash-functions
- keccak
- sha-3
- sponge-construction
An attempt at a minimalistic and secure operating system.
A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.
- decawave
- dw1000
- uwb
- ranging-sensor
ada privilege escalation
An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm
SPARK TOTP library
SPARK formal verification automated with Travis CI
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
Simulated railway network in SPARK/Ada
An Ada 2012 / SPARK 2014 project that implements the SipHash keyed hash function.
A project to implement the Ascon AEAD algorithm in Ada 2012 / SPARK 2014
The BLAKE2s hash function for SPARK83 [Ada (1987)]
- blake2
- blake2s
- ada
- hash