SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Repository Index
89,073 visible repositories in the index
1–12 of 12 · Most stars
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
- aadl
- ada
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
GNAT Components Collection – Bindings to C libraries
Apache Kafka Ada client library, based off of librdkafka
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
tools for writing lexers / parsers in Ada
- ada
- lexer
- reference-counting
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 wrapper for the fast Stachniss' Hungarian solver
This is a program to help the conversion of Visual Basic Microsoft Windows Forms to Glade, the GTK User Interface Designer tool.