SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Repository Index
68,261 visible repositories in the index
1–6 of 6 · Most stars
Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
- logging
- process
- streams
- serializer
Apache Kafka Ada client library, based off of librdkafka
libsodium for Ada - A secure cryptographic library
Ada bindings of Turbo Pascal 7.0 units with Gnoga.
This is a program to help the conversion of Visual Basic Microsoft Windows Forms to Glade, the GTK User Interface Designer tool.