Ada semantic analysis library.
Repository Index
47,133 repositories indexed
1–8 of 8 · Most stars
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Ada bindings for the GTK+ graphical library.
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