Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Repository Index
47,133 repositories indexed
1–14 of 14 · Most stars
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
Ada Unicode Extended Strings
Advanced UNIX Terminal UI Ada Binding Package
- curses
- curses-library
- tui
The repository host gives no description.
Utility library to pretty print physical values in proper metric units
- ada2012
- ada
- utility-library
- formatting-output
Ada bindings of Turbo Pascal 7.0 units with Gnoga.
Ada packages for handling SI units of measure
RufasCube is a very unique 3D slider puzzle for Windows, OSX & Linux. It looks like a rubic cube but it's a slider, not a twister.
A test framework in Ada
Ada bindings of Turbo Pascal 7.0 units with GTKAda.
Mandelbrot renderer in "ASCII" (unicode actually, but text nonetheless)
Generator of JUnit-compatible XML reports in Ada