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–24 of 26 · Most stars
Ada semantic analysis library.
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
Embeddable Forth interpreter written in Ada
- ada
- forth
- interpreter
The repository host gives no description.
Ada API to the Windows library
GNAT Components Collection – Bindings to C libraries
NBAda - An Ada library of lock-free data structures and algorithms.
libsodium for Ada - A secure cryptographic library
The repository host gives no description.
Ada interface to the readline library
Implementing promises in Ada. Type-safe, efficient, thread-safe, ...
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
tools for writing lexers / parsers in Ada
- ada
- lexer
- reference-counting
Grammar handling and parser generation Ada library
- ada
- grammars
- parsing
- syntax-analysis
Ada Windows POSIX binding
Incremental analysis in Ada
- ada
- syntax-analysis
- incremental
- parsing
This is an Ada 2012 package that provides a task pool system for jobs which each take the form of a single request that receives a single response.
Ada Binding for the libsecret library
- libsecret
- binding
- keyring
- kwallet