AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
- aadl
- ada
47,133 repositories indexed
1–4 of 4 · Most stars
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
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.
tools for writing lexers / parsers in Ada
This is an Ada 2012 package that provides a task pool system for jobs which each take the form of a single request that receives a single response.