Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

hackage.haskell.org "flight-software" keyword

ogma-core 1.13.0
Generator of runtime monitors for flight and robotics applications.
20 versions - Latest release: 13 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: 13 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: 13 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: 13 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: 13 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: 13 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: 13 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: 13 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: 13 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: 13 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: 13 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 embedded-systems 12 cfs 12 autonomy 12 assurance 12 Propose Tags 12 aerospace 12 library 11 apache 11 program 1 deprecated 1