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