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 | 30 | 0.0 | 0 | Ogma: Helper tool to interoperate between Copilot and other languages. | (aerospace, program) | 2024-05-22 | 1.4.0 | IvanPerez |
| ogma-core | 25 | 0.0 | 0 | Ogma: Helper tool to interoperate between Copilot and other languages. | (aerospace, library) | 2024-05-22 | 1.4.0 | IvanPerez |
| ogma-extra | 35 | 0.0 | 1 | Ogma: Helper tool to interoperate between Copilot and other languages. | (aerospace, library) | 2024-05-22 | 1.4.0 | IvanPerez |
| ogma-language-c | 30 | 0.0 | 1 | Ogma: Runtime Monitor translator: C Language Frontend | (aerospace, library) | 2024-05-22 | 1.4.0 | IvanPerez |
| ogma-language-cocospec | 23 | 0.0 | 3 | Ogma: Runtime Monitor translator: CoCoSpec Language Frontend | (aerospace, library) | 2024-05-22 | 1.4.0 | IvanPerez |
| ogma-language-copilot | 28 | 0.0 | 1 | Ogma: Runtime Monitor translator: Copilot Language Endpoints | (aerospace, library) | 2024-05-22 | 1.4.0 | IvanPerez |
| ogma-language-fret-cs (deprecated in favor of ogma-core) | 23 | 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 | 21 | 0.0 | 1 | Ogma: Runtime Monitor translator: FRET Component Requirement DB Frontend | (aerospace, library) | 2024-01-22 | 1.2.0 | IvanPerez |
| ogma-language-jsonspec | 9 | 0.0 | 1 | Ogma: Runtime Monitor translator: JSON Frontend | (aerospace, library) | 2024-05-22 | 1.4.0 | IvanPerez |
| ogma-language-smv | 34 | 0.0 | 3 | Ogma: Runtime Monitor translator: SMV Language Frontend | (aerospace, library) | 2024-05-22 | 1.4.0 | IvanPerez |
| ogma-spec | 13 | 0.0 | 2 | Ogma: Runtime Monitor translator: JSON Frontend | (aerospace, library) | 2024-05-22 | 1.4.0 | IvanPerez |