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

roshask 0.2.1
Haskell client library for the ROS robotics framework.
2 versions - Latest release: almost 11 years ago - 2 dependent repositories - 1.65 thousand downloads total - 110 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: about 6 years ago - 1.97 thousand downloads total - 1 stars on GitHub - 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-core 1.13.0
Generator of runtime monitors for flight and robotics applications.
20 versions - Latest release: 17 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: 17 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: 17 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: 17 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: 17 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: 17 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: 17 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: 17 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: 17 days ago - 115 downloads total - 545 stars on GitHub - 1 maintainer
pcd-loader 0.2.2
8 versions - Latest release: over 13 years ago - 5 dependent repositories - 6.07 thousand downloads total - 1 maintainer
ogma-extra 1.13.0
Generator of runtime monitors for flight and robotics applications.
20 versions - Latest release: 17 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: 17 days ago - 2 dependent packages - 554 downloads total - 478 stars on GitHub - 1 maintainer
RMP 0.0.2
1 version - Latest release: almost 16 years ago - 1.26 thousand downloads total - 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
rosmsg 0.5.2.0
ROS message parser, render and generator
7 versions - Latest release: over 9 years ago - 1 dependent repositories - 3.95 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.9 thousand downloads total - 1 maintainer
rosmsg-bin 0.1.0.0
ROS message Haskell tools
1 version - Latest release: over 9 years ago - 874 downloads total - 0 stars on GitHub - 1 maintainer
Related Keywords
Propose Tags 20 library 18 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 space-ros 12 spacecraft 12 apache 11 program 7 bsd3 6 mit 1 graphics 1 system 1 deprecated 1 lgpl 1