Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
GLOBE_3D: a real-time 3D Engine written in Ada
- ada
- ada-language
- 3d-engine
- opengl
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.
An Ada 2012 project that implements various binary-to-ASCII codecs such as Base64