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-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: 24 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: 24 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: 24 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: 24 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: 24 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: 24 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: 24 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: 24 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: 24 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: 24 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: 24 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-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 deprecated 1 program 1