Packages tagged aerospace

9 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (8), program (1)

Name
DLs
Rating
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
ogma-cli190.00Ogma: Helper tool to interoperate between Copilot and other languages. (aerospace, program)2023-01-221.0.6IvanPerez
ogma-core190.00Ogma: Helper tool to interoperate between Copilot and other languages. (aerospace, library)2023-01-221.0.6IvanPerez
ogma-extra190.01Ogma: Helper tool to interoperate between Copilot and other languages. (aerospace, library)2023-01-221.0.6IvanPerez
ogma-language-c210.01Ogma: Runtime Monitor translator: C Language Frontend (aerospace, library)2023-01-221.0.6IvanPerez
ogma-language-cocospec220.03Ogma: Runtime Monitor translator: CoCoSpec Language Frontend (aerospace, library)2023-01-221.0.6IvanPerez
ogma-language-copilot220.01Ogma: Runtime Monitor translator: Copilot Language Endpoints (aerospace, library)2023-01-221.0.6IvanPerez
ogma-language-fret-cs210.01Ogma: Runtime Monitor translator: FRET Component Specification Frontend (aerospace, library)2023-01-221.0.6IvanPerez
ogma-language-fret-reqs200.01Ogma: Runtime Monitor translator: FRET Component Requirement DB Frontend (aerospace, library)2023-01-221.0.6IvanPerez
ogma-language-smv210.03Ogma: Runtime Monitor translator: SMV Language Frontend (aerospace, library)2023-01-221.0.6IvanPerez