SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Repository Index
73,362 visible repositories in the index
1–8 of 8 · Most stars
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
Ada 2022 bindings to SDL 2
- sdl
- sdl-ttf
- ada
- ada2012
GNAT Components Collection – Bindings to C libraries
Apache Kafka Ada client library, based off of librdkafka
Implementing promises in Ada. Type-safe, efficient, thread-safe, ...
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
Incremental analysis in Ada
- ada
- syntax-analysis
- incremental
- parsing