Ada semantic analysis library.
Repository Index
47,133 repositories indexed
1–9 of 9 · 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
The repository host gives no description.
Ada API to the Windows library
GNAT Components Collection – Bindings to C libraries
The repository host gives no description.
Ada Windows POSIX binding