代码仓库
软件工具 / 开源
ogma · nasa
用于飞行和机器人应用的运行时间监视器的生成器。
概述
Generator of runtime monitors for flight and robotics applications.
Inspect installation instructions, supported versions, examples and interfaces in the source. This directory does not claim the software has been installed or tested on your robot.
项目信息
- 维护者
- nasa
- 主要语言
- Haskell
- 存储库代码许可证
- Apache-2.0
- 模型重量许可证
- 未记录
- 数据集许可
- 未记录
- 硬件设计许可证
- 未记录
- 维护
- 未存档在最后记录的元数据中
- 最后观察到的存储库推送
- 2026-09-27
代码许可不会自动涵盖模型权重、数据集或硬件设计。未记录的许可证详细信息需要与发布者确认。
文档部分
- OGMA
- Features
- Table of Contents
- Installation
- Linux Installation
- Ubuntu 25.10 / Debian Forky or newer
