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-cli | 6 | 0.0 | 0 | Ogma: Helper tool to interoperate between Copilot and other languages. | (aerospace, program) | 2023-11-22 | 1.1.0 | IvanPerez |
| ogma-core | 9 | 0.0 | 0 | Ogma: Helper tool to interoperate between Copilot and other languages. | (aerospace, library) | 2023-11-22 | 1.1.0 | IvanPerez |
| ogma-extra | 9 | 0.0 | 1 | Ogma: Helper tool to interoperate between Copilot and other languages. | (aerospace, library) | 2023-11-22 | 1.1.0 | IvanPerez |
| ogma-language-c | 5 | 0.0 | 1 | Ogma: Runtime Monitor translator: C Language Frontend | (aerospace, library) | 2023-11-22 | 1.1.0 | IvanPerez |
| ogma-language-cocospec | 6 | 0.0 | 3 | Ogma: Runtime Monitor translator: CoCoSpec Language Frontend | (aerospace, library) | 2023-11-22 | 1.1.0 | IvanPerez |
| ogma-language-copilot | 4 | 0.0 | 1 | Ogma: Runtime Monitor translator: Copilot Language Endpoints | (aerospace, library) | 2023-11-22 | 1.1.0 | IvanPerez |
| ogma-language-fret-cs | 6 | 0.0 | 1 | Ogma: Runtime Monitor translator: FRET Component Specification Frontend | (aerospace, library) | 2023-11-22 | 1.1.0 | IvanPerez |
| ogma-language-fret-reqs | 6 | 0.0 | 1 | Ogma: Runtime Monitor translator: FRET Component Requirement DB Frontend | (aerospace, library) | 2023-11-22 | 1.1.0 | IvanPerez |
| ogma-language-smv | 4 | 0.0 | 3 | Ogma: Runtime Monitor translator: SMV Language Frontend | (aerospace, library) | 2023-11-22 | 1.1.0 | IvanPerez |