Next D/Ports build tool for live systems (Alternative for Portmaster and Portupgrade tools)
Repository Index
47,133 repositories indexed
1–8 of 8 · Most stars
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
- aadl
- ada
Ada Keystore - protect your sensitive data with secure storage
- keystore
- security-tools
- secure-storage
Ada library and tools for the analysis of Complex Networks and more
tools for writing lexers / parsers in Ada
- ada
- lexer
- reference-counting
STM32 UI library and tools
- stm32
- ada
- ui
- display
Stream utilities for Ada2022.
Converts Ada sources’ ASIS representation to XML, so as to make it easier to develop reporting and transformational tools using (for example) XSLT.