Packages tagged aerospace

12 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (11), deprecated (1), program (1)

Name
DLs
Rating
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
ogma-cli210.00Ogma: Helper tool to interoperate between Copilot and other languages. (aerospace, program)2025-01-221.6.0IvanPerez
ogma-core220.00Ogma: Helper tool to interoperate between Copilot and other languages. (aerospace, library)2025-01-221.6.0IvanPerez
ogma-extra200.01Ogma: Helper tool to interoperate between Copilot and other languages. (aerospace, library)2025-01-221.6.0IvanPerez
ogma-language-c200.01Ogma: Runtime Monitor translator: C Language Frontend (aerospace, library)2025-01-221.6.0IvanPerez
ogma-language-cocospec310.03Ogma: Runtime Monitor translator: CoCoSpec Language Frontend (aerospace, library)2025-01-221.6.0IvanPerez
ogma-language-copilot330.01Ogma: Runtime Monitor translator: Copilot Language Endpoints (aerospace, library)2025-01-221.6.0IvanPerez
ogma-language-fret-cs (deprecated in favor of ogma-core)230.01Ogma: Runtime Monitor translator: FRET Component Specification Frontend (aerospace, deprecated, library)2023-11-221.1.0IvanPerez
ogma-language-fret-reqs270.01Ogma: Runtime Monitor translator: FRET Component Requirement DB Frontend (aerospace, library)2024-01-221.2.0IvanPerez
ogma-language-jsonspec190.01Ogma: Runtime Monitor translator: JSON Frontend (aerospace, library)2025-01-221.6.0IvanPerez
ogma-language-smv230.03Ogma: Runtime Monitor translator: SMV Language Frontend (aerospace, library)2025-01-221.6.0IvanPerez
ogma-language-xmlspec90.00Ogma: Runtime Monitor translator: XML Frontend (aerospace, library)2025-01-221.6.0IvanPerez
ogma-spec150.02Ogma: Runtime Monitor translator: JSON Frontend (aerospace, library)2025-01-221.6.0IvanPerez