SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
Id Software's Id-tech-4-BFG in the Ada programming language.
Apache Kafka Ada client library, based off of librdkafka