hackage.haskell.org "spacecraft" keyword
ogma-core 1.12.0
Generator of runtime monitors for flight and robotics applications.19 versions - Latest release: about 2 months ago - 1 dependent package - 1 dependent repositories - 959 downloads total - 479 stars on GitHub - 1 maintainer
ogma-language-smv 1.12.0
Generator of runtime monitors for flight and robotics applications.19 versions - Latest release: about 2 months ago - 3 dependent packages - 1 dependent repositories - 945 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: about 2 months ago - 1 dependent package - 377 downloads total - 479 stars on GitHub - 1 maintainer
ogma-language-lustre 1.12.0
Generator of runtime monitors for flight and robotics applications.6 versions - Latest release: about 2 months ago - 82 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: about 2 months ago - 1 dependent package - 1 dependent repositories - 1.03 thousand downloads total - 478 stars on GitHub - 1 maintainer
ogma-language-copilot 1.12.0
Generator of runtime monitors for flight and robotics applications.19 versions - Latest release: about 2 months ago - 1 dependent package - 1 dependent repositories - 839 downloads total - 533 stars on GitHub - 1 maintainer
ogma-language-xlsx 1.12.0
Generator of runtime monitors for flight and robotics applications.6 versions - Latest release: about 2 months ago - 94 downloads total - 545 stars on GitHub - 1 maintainer
ogma-extra 1.12.0
Generator of runtime monitors for flight and robotics applications.19 versions - Latest release: about 2 months ago - 1 dependent package - 1 dependent repositories - 925 downloads total - 545 stars on GitHub - 1 maintainer
ogma-language-csv 1.12.0
Generator of runtime monitors for flight and robotics applications.6 versions - Latest release: about 2 months ago - 87 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: about 2 months ago - 2 dependent packages - 464 downloads total - 478 stars on GitHub - 1 maintainer
ogma-cli 1.12.0
Generator of runtime monitors for flight and robotics applications.19 versions - Latest release: about 2 months ago - 892 downloads total - 479 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 - 835 downloads total - 543 stars on GitHub - 1 maintainer
Related Keywords
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
autonomy
12
assurance
12
Propose Tags
12
aerospace
12
library
11
apache
11
program
1
deprecated
1