Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Repository Index
47,133 repositories indexed
1–17 of 17 · 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
Ada binding to the SFML library
- ada
- binding
- sfml
- multimedia
Advanced UNIX Terminal UI Ada Binding Package
- curses
- curses-library
- tui
GNAT Components Collection – Bindings to C libraries
Apache Kafka Ada client library, based off of librdkafka
NBAda - An Ada library of lock-free data structures and algorithms.
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
This is an Ada 2012 package that provides an interface to BLAS.
J2Ada translates a Java valid source code in Ada source code.
Ada binding to OpenAL which tries to mimic original API while using Ada types.
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.