Packages tagged aerospace
11 packages have this tag.
[Merge tag] (trustees only)Related tags: library (10), deprecated (1), program (1)
Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
---|---|---|---|---|---|---|---|---|
ogma-cli | 14 | 0.0 | 0 | Ogma: Helper tool to interoperate between Copilot and other languages. | (aerospace, program) | 2024-11-22 | 1.5.0 | IvanPerez |
ogma-core | 16 | 0.0 | 0 | Ogma: Helper tool to interoperate between Copilot and other languages. | (aerospace, library) | 2024-11-22 | 1.5.0 | IvanPerez |
ogma-extra | 18 | 0.0 | 1 | Ogma: Helper tool to interoperate between Copilot and other languages. | (aerospace, library) | 2024-11-22 | 1.5.0 | IvanPerez |
ogma-language-c | 18 | 0.0 | 1 | Ogma: Runtime Monitor translator: C Language Frontend | (aerospace, library) | 2024-11-22 | 1.5.0 | IvanPerez |
ogma-language-cocospec | 19 | 0.0 | 3 | Ogma: Runtime Monitor translator: CoCoSpec Language Frontend | (aerospace, library) | 2024-11-22 | 1.5.0 | IvanPerez |
ogma-language-copilot | 17 | 0.0 | 1 | Ogma: Runtime Monitor translator: Copilot Language Endpoints | (aerospace, library) | 2024-11-22 | 1.5.0 | IvanPerez |
ogma-language-fret-cs (deprecated in favor of ogma-core) | 11 | 0.0 | 1 | Ogma: Runtime Monitor translator: FRET Component Specification Frontend | (aerospace, deprecated, library) | 2023-11-22 | 1.1.0 | IvanPerez |
ogma-language-fret-reqs | 9 | 0.0 | 1 | Ogma: Runtime Monitor translator: FRET Component Requirement DB Frontend | (aerospace, library) | 2024-01-22 | 1.2.0 | IvanPerez |
ogma-language-jsonspec | 8 | 0.0 | 1 | Ogma: Runtime Monitor translator: JSON Frontend | (aerospace, library) | 2024-11-22 | 1.5.0 | IvanPerez |
ogma-language-smv | 17 | 0.0 | 3 | Ogma: Runtime Monitor translator: SMV Language Frontend | (aerospace, library) | 2024-11-22 | 1.5.0 | IvanPerez |
ogma-spec | 10 | 0.0 | 2 | Ogma: Runtime Monitor translator: JSON Frontend | (aerospace, library) | 2024-11-22 | 1.5.0 | IvanPerez |