Meta project for all of the OpenROV Software projects
☆430Oct 3, 2019Updated 6 years ago
Alternatives and similar repositories for openrov-software
Users that are interested in openrov-software are comparing it to the libraries listed below
Sorting:
- Electronics for OpenROV. Include schematics and other diagrams☆157Aug 11, 2022Updated 3 years ago
- Web centric tele-robotic control system for ROVs☆71Oct 3, 2019Updated 6 years ago
- Arduino projects for the OpenROV platform.☆53Jan 14, 2017Updated 9 years ago
- ArduSub: An ROV control system, now an official part of the ArduPilot project!☆89Nov 2, 2020Updated 5 years ago
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 11 years ago
- ESP32_CAM meets Etch-A-Sketch => Etch-a-Selfie☆12Jul 30, 2019Updated 6 years ago
- FreeIOT is a open application to interact with multifarious IOT devices.☆10Oct 22, 2015Updated 10 years ago
- ☆11Sep 14, 2023Updated 2 years ago
- KiCAD template for PocketBeagle capes☆11Oct 21, 2017Updated 8 years ago
- How to create a bitbake recipe for a ROS package and cross-compile it.☆11Jul 24, 2013Updated 12 years ago
- Some scripts I use to maintain Ubuntu on the Beaglebone platform☆24Jan 27, 2019Updated 7 years ago
- Automatically exported from code.google.com/p/picnc☆25Apr 9, 2015Updated 10 years ago
- Domain theory and denotational semantics in Coq☆10Dec 13, 2014Updated 11 years ago
- Combinatorial species in HoTT☆12May 23, 2015Updated 10 years ago
- Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar☆21May 4, 2015Updated 10 years ago
- MBARI's Video Annotation and Reference System☆15Jan 23, 2026Updated last month
- Arduino Library for VCNL4010 sensors☆15Nov 15, 2023Updated 2 years ago
- NOAA Nautical Chart MBTiles files☆15Jan 20, 2018Updated 8 years ago
- Nodejs serverless SMTP email service using AWS Lambda & API Gateway☆14Jun 12, 2018Updated 7 years ago
- Communications blocks and support libraries☆20Nov 3, 2024Updated last year
- Nostalgic re-implementations of the classic "Star Trader" games.☆19Oct 13, 2013Updated 12 years ago
- RTP raw stream player based on ffmpeg and Qt☆13Apr 23, 2021Updated 4 years ago
- Mechaduino hardware design files. Project logs:☆357May 4, 2017Updated 8 years ago
- Go wrapper for the Luno API☆19Jun 12, 2018Updated 7 years ago
- dyno software☆16Jul 24, 2020Updated 5 years ago
- A curated list of awesome Feather form factor boards, guides, videos, libraries, software and resources.☆156Aug 7, 2025Updated 6 months ago
- Qt 控件、项目合集☆17Nov 27, 2021Updated 4 years ago
- Oscilloscope to footswitch interface for run control using USBTMC☆19Jun 28, 2020Updated 5 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Jan 10, 2014Updated 12 years ago
- A type theory based theorem proving library☆25Aug 23, 2011Updated 14 years ago
- ☆18Dec 8, 2020Updated 5 years ago
- Dasein Cloud is an Open Source cloud abstraction library for Java under the Apache Software License v2.0. REGULAR CODE COMMITS DO NOT HAP…☆60Sep 15, 2015Updated 10 years ago
- ☆19May 10, 2019Updated 6 years ago
- emonTH V2 wireless temperature & humidity sensor with SI7021 sensor☆26Dec 9, 2025Updated 2 months ago
- ☆19Dec 19, 2015Updated 10 years ago
- Ground Control Station for Android Devices☆632Feb 19, 2022Updated 4 years ago
- Yate BTS☆21Dec 1, 2018Updated 7 years ago
- Ring solver for Idris☆20Nov 12, 2018Updated 7 years ago
- Remote control boards in a LAVA setup.☆21Jun 26, 2018Updated 7 years ago