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 "robotics" 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
roshask 0.2.1
Haskell client library for the ROS robotics framework.
2 versions - Latest release: over 10 years ago - 2 dependent repositories - 1.65 thousand downloads total - 110 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
HsWebots 0.1.1.3 💰
Please see the README on GitHub at https://github.com/cyberbotics/HsWebots#readme
6 versions - Latest release: almost 6 years ago - 1.96 thousand downloads total - 1 stars on GitHub - 1 maintainer
pcd-loader 0.2.2
8 versions - Latest release: over 13 years ago - 5 dependent repositories - 6.05 thousand downloads total - 1 maintainer
rospkg 0.2.3.0
ROS package system information
3 versions - Latest release: over 9 years ago - 2 dependent repositories - 1.95 thousand downloads total - 0 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
rosmsg 0.5.2.0
ROS message parser, render and generator
7 versions - Latest release: over 9 years ago - 1 dependent repositories - 3.93 thousand downloads total - 2 stars on GitHub - 1 maintainer
NXT 0.2.5
14 versions - Latest release: about 10 years ago - 2 dependent repositories - 11.8 thousand downloads total - 1 maintainer
RMP 0.0.2
1 version - Latest release: almost 16 years ago - 1.25 thousand downloads total - 1 maintainer
rosmsg-bin 0.1.0.0
ROS message Haskell tools
1 version - Latest release: over 9 years ago - 869 downloads total - 0 stars on GitHub - 1 maintainer
Related Keywords
Propose Tags 20 library 18 spacecraft 12 space-ros 12 rv 12 runtime-verification 12 runtime-monitoring-system 12 runtime-monitoring 12 ros2 12 ros 12 robot-operating-system 12 fprime 12 flight-software 12 embedded-systems 12 cfs 12 autonomy 12 assurance 12 aerospace 12 apache 11 program 7 bsd3 6 mit 1 graphics 1 deprecated 1 lgpl 1 system 1