开源序GitHub 开源项目排行

nasa / ogma

用于飞行和机器人应用中的运行时监控器生成器。

仓库 Star: 588总榜 #55,880
Fork: 61
最近推送: 1 个月前更新
仓库创建: 2021 年创建

应用与完整系统通用HaskellApache-2.0 · 宽松，可直接商用

用途与标签

项目原文 · GitHub

Generator of runtime monitors for flight and robotics applications.

Star 走势