keyvalue
id393092215
nameogma
full_namenasa/ogma
html_urlhttps://github.com/nasa/ogma
descriptionGenerator of runtime monitors for flight and robotics applications.
created_atAug. 5, 2021, 3:28 p.m.
updated_atDec. 12, 2024, 8:06 a.m.
pushed_atDec. 6, 2024, 5:38 p.m.
size31,977
stargazers_count338
watchers_count13
forks_count26
open_issues11
languageHaskell
awesome_list

https://github.com/matiassingers/awesome-readme