SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Repository Index
56,139 visible repositories in the index
1–14 of 14 · Most stars
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Ada bindings for the GTK+ graphical library.
Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
- logging
- process
- streams
- serializer
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
- aadl
- ada
Pascal to Ada translator
- ada
- pascal
- translator
- ada-language
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
Ada BFD is an Ada binding for the GNU Binutils BFD library. It allows to read binary ELF, COFF files by using the GNU BFD.
Ada EL - Expression Language Library (JSR245)
Ada binding for liblzma compression library
- lzma
- ada
- compression
Ada bindings of Turbo Pascal 7.0 units with Gnoga.
Ada 2012 bindings for libcanberra
- libcanberra
- ada
Ada bindings of Turbo Pascal 7.0 units with GTKAda.
Ada Binding for the libsecret library
- libsecret
- binding
- keyring
- kwallet