Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Repository Index
47,133 repositories indexed
1–9 of 9 · Most stars
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
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
Implementing promises in Ada. Type-safe, efficient, thread-safe, ...
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
This is an Ada 2012 package that provides an interface to BLAS.
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.
This is a program to help the conversion of Visual Basic Microsoft Windows Forms to Glade, the GTK User Interface Designer tool.