hackage.haskell.org "autonomy" keyword
View the packages on the hackage.haskell.org package registry that are tagged with the "autonomy" keyword.
ogma-language-lustre 1.11.0
Generator of runtime monitors for flight and robotics applications.5 versions - Latest release: about 2 months ago - 51 downloads total - 478 stars on GitHub - 1 maintainer
ogma-cli 1.11.0
Generator of runtime monitors for flight and robotics applications.18 versions - Latest release: about 2 months ago - 808 downloads total - 479 stars on GitHub - 1 maintainer
ogma-language-copilot 1.11.0
Generator of runtime monitors for flight and robotics applications.18 versions - Latest release: about 2 months ago - 1 dependent package - 1 dependent repositories - 757 downloads total - 533 stars on GitHub - 1 maintainer
ogma-extra 1.11.0
Generator of runtime monitors for flight and robotics applications.18 versions - Latest release: about 2 months ago - 1 dependent package - 1 dependent repositories - 798 downloads total - 533 stars on GitHub - 1 maintainer
ogma-language-jsonspec 1.11.0
Generator of runtime monitors for flight and robotics applications.11 versions - Latest release: about 2 months ago - 1 dependent package - 325 downloads total - 479 stars on GitHub - 1 maintainer
ogma-language-xlsx 1.11.0
Generator of runtime monitors for flight and robotics applications.5 versions - Latest release: about 2 months ago - 54 downloads total - 478 stars on GitHub - 1 maintainer
ogma-language-c 1.11.0
Generator of runtime monitors for flight and robotics applications.18 versions - Latest release: about 2 months ago - 1 dependent package - 1 dependent repositories - 889 downloads total - 478 stars on GitHub - 1 maintainer
ogma-core 1.11.0
Generator of runtime monitors for flight and robotics applications.18 versions - Latest release: about 2 months ago - 1 dependent package - 1 dependent repositories - 788 downloads total - 479 stars on GitHub - 1 maintainer
ogma-spec 1.11.0
Generator of runtime monitors for flight and robotics applications.11 versions - Latest release: about 2 months ago - 2 dependent packages - 408 downloads total - 478 stars on GitHub - 1 maintainer
ogma-language-smv 1.11.0
Generator of runtime monitors for flight and robotics applications.18 versions - Latest release: about 2 months ago - 3 dependent packages - 1 dependent repositories - 803 downloads total - 478 stars on GitHub - 1 maintainer
ogma-language-csv 1.11.0
Generator of runtime monitors for flight and robotics applications.5 versions - Latest release: about 2 months ago - 48 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: 12 months ago - 3 dependent packages - 1 dependent repositories - 719 downloads total - 478 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