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 "aerospace" 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-fret-reqs 1.2.0
8 versions - Latest release: about 2 years ago - 1 dependent package - 1 dependent repositories - 556 downloads total - 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-language-xmlspec 1.12.0
7 versions - Latest release: about 2 months ago - 143 downloads total - 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
ogma-language-fret-cs 1.1.0
7 versions - Latest release: over 2 years ago - 1 dependent package - 1 dependent repositories - 501 downloads total - 1 maintainer
Related Keywords
Propose Tags 15 library 14 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 autonomy 12 assurance 12 apache 12 deprecated 3 program 1