hackage.haskell.org "autonomy" keyword
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 - 835 downloads total - 543 stars on GitHub - 1 maintainer
ogma-language-smv 1.12.0
Generator of runtime monitors for flight and robotics applications.19 versions - Latest release: 25 days ago - 3 dependent packages - 1 dependent repositories - 912 downloads total - 478 stars on GitHub - 1 maintainer
ogma-language-c 1.12.0
Generator of runtime monitors for flight and robotics applications.19 versions - Latest release: 25 days ago - 1 dependent package - 1 dependent repositories - 970 downloads total - 478 stars on GitHub - 1 maintainer
ogma-spec 1.12.0
Generator of runtime monitors for flight and robotics applications.12 versions - Latest release: 25 days ago - 2 dependent packages - 464 downloads total - 478 stars on GitHub - 1 maintainer
ogma-language-csv 1.12.0
Generator of runtime monitors for flight and robotics applications.6 versions - Latest release: 25 days ago - 76 downloads total - 478 stars on GitHub - 1 maintainer
ogma-language-xlsx 1.12.0
Generator of runtime monitors for flight and robotics applications.6 versions - Latest release: 25 days ago - 83 downloads total - 478 stars on GitHub - 1 maintainer
ogma-core 1.12.0
Generator of runtime monitors for flight and robotics applications.19 versions - Latest release: 25 days ago - 1 dependent package - 1 dependent repositories - 900 downloads total - 479 stars on GitHub - 1 maintainer
ogma-language-copilot 1.12.0
Generator of runtime monitors for flight and robotics applications.19 versions - Latest release: 25 days ago - 1 dependent package - 1 dependent repositories - 809 downloads total - 533 stars on GitHub - 1 maintainer
ogma-language-lustre 1.12.0
Generator of runtime monitors for flight and robotics applications.6 versions - Latest release: 25 days ago - 73 downloads total - 478 stars on GitHub - 1 maintainer
ogma-language-jsonspec 1.12.0
Generator of runtime monitors for flight and robotics applications.12 versions - Latest release: 25 days ago - 1 dependent package - 377 downloads total - 479 stars on GitHub - 1 maintainer
ogma-cli 1.12.0
Generator of runtime monitors for flight and robotics applications.19 versions - Latest release: 25 days ago - 858 downloads total - 479 stars on GitHub - 1 maintainer
ogma-extra 1.12.0
Generator of runtime monitors for flight and robotics applications.19 versions - Latest release: 25 days ago - 1 dependent package - 1 dependent repositories - 897 downloads total - 533 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
deprecated
1
program
1