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 "runtime-verification" keyword

ogma-core 1.12.0
Generator of runtime monitors for flight and robotics applications.
19 versions - Latest release: about 1 month 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 1 month 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 1 month 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 1 month 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 1 month 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 1 month 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 1 month 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 1 month 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 1 month 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 1 month 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 1 month 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
spacecraft 12 space-ros 12 rv 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