hackage.haskell.org "autonomy" keyword
ogma-core 1.13.0
Generator of runtime monitors for flight and robotics applications.20 versions - Latest release: 17 days ago - 1 dependent package - 1 dependent repositories - 995 downloads total - 479 stars on GitHub - 1 maintainer
ogma-language-copilot 1.13.0
Generator of runtime monitors for flight and robotics applications.20 versions - Latest release: 17 days ago - 1 dependent package - 1 dependent repositories - 863 downloads total - 533 stars on GitHub - 1 maintainer
ogma-language-c 1.13.0
Generator of runtime monitors for flight and robotics applications.20 versions - Latest release: 17 days ago - 1 dependent package - 1 dependent repositories - 1.12 thousand downloads total - 478 stars on GitHub - 1 maintainer
ogma-cli 1.13.0
Generator of runtime monitors for flight and robotics applications.20 versions - Latest release: 17 days ago - 951 downloads total - 479 stars on GitHub - 1 maintainer
ogma-language-smv 1.13.0
Generator of runtime monitors for flight and robotics applications.20 versions - Latest release: 17 days ago - 3 dependent packages - 1 dependent repositories - 1.01 thousand downloads total - 478 stars on GitHub - 1 maintainer
ogma-language-jsonspec 1.13.0
Generator of runtime monitors for flight and robotics applications.13 versions - Latest release: 17 days ago - 1 dependent package - 429 downloads total - 479 stars on GitHub - 1 maintainer
ogma-language-lustre 1.13.0
Generator of runtime monitors for flight and robotics applications.7 versions - Latest release: 17 days ago - 93 downloads total - 478 stars on GitHub - 1 maintainer
ogma-language-csv 1.13.0
Generator of runtime monitors for flight and robotics applications.7 versions - Latest release: 17 days ago - 106 downloads total - 478 stars on GitHub - 1 maintainer
ogma-language-xlsx 1.13.0
Generator of runtime monitors for flight and robotics applications.7 versions - Latest release: 17 days ago - 115 downloads total - 545 stars on GitHub - 1 maintainer
ogma-extra 1.13.0
Generator of runtime monitors for flight and robotics applications.20 versions - Latest release: 17 days ago - 1 dependent package - 1 dependent repositories - 981 downloads total - 545 stars on GitHub - 1 maintainer
ogma-spec 1.13.0
Generator of runtime monitors for flight and robotics applications.13 versions - Latest release: 17 days ago - 2 dependent packages - 554 downloads total - 478 stars on GitHub - 1 maintainer
ogma-language-cocospec 1.6.0
Generator of runtime monitors for flight and robotics applications.13 versions - Latest release: about 1 year ago - 3 dependent packages - 1 dependent repositories - 859 downloads total - 543 stars on GitHub - 1 maintainer
Related Keywords
spacecraft
12
space-ros
12
rv
12
runtime-verification
12
runtime-monitoring-system
12
runtime-monitoring
12
ros2
12
ros
12
robotics
12
robot-operating-system
12
fprime
12
flight-software
12
embedded-systems
12
cfs
12
assurance
12
Propose Tags
12
aerospace
12
library
11
apache
11
program
1
deprecated
1