Repository Index

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 interface to the readline library

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.