robocupathomeedu / rc-home-edu-learn-rosView external linksLinks
RoboCup@Home Education | Learning resources: ROS sample code
☆31Jan 2, 2024Updated 2 years ago
Alternatives and similar repositories for rc-home-edu-learn-ros
Users that are interested in rc-home-edu-learn-ros are comparing it to the libraries listed below
Sorting:
- Reinforcement Learning framework for Temporal Goals☆11Mar 6, 2023Updated 2 years ago
- Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals☆19Sep 5, 2024Updated last year
- STRIPS benchmarks for classical planning☆14Mar 29, 2022Updated 3 years ago
- Symk is a state-of-the-art classical optimal and top-k planner.☆42Dec 16, 2025Updated 2 months ago
- The INVAL plan validator, and other PDDL tools.☆22Dec 3, 2023Updated 2 years ago
- A tool for LDLf translation to DFA and for LDLf synthesis.☆23Sep 22, 2023Updated 2 years ago
- PDDL exercises and coursework assignments.☆54Apr 18, 2025Updated 10 months ago
- Natural voice control for ROS using Google Speech to Text API☆24Jun 1, 2023Updated 2 years ago
- Code for the paper "Trust the PRoC3S: Solving Long-Horizon Robotics Problems with LLMs and Constraint Satisfaction" presented at CoRL 202…☆31Nov 18, 2024Updated last year
- DAG-based blockchain☆10Apr 20, 2019Updated 6 years ago
- A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram☆35Updated this week
- ☆32Mar 21, 2024Updated last year
- This is a hanabi AI bot that can play on http://keldon.net/hanabi/☆11May 29, 2017Updated 8 years ago
- Kernel module that makes it possible to create virtual wifi devices each with a virtualized stack.☆11Dec 13, 2011Updated 14 years ago
- Lab is a framework for evaluating planners and other solvers.☆34Jan 25, 2026Updated 3 weeks ago
- A ROS package for robust following of a person☆29Nov 20, 2019Updated 6 years ago
- Embed the Power of Lua into NGINX HTTP servers☆11Dec 1, 2015Updated 10 years ago
- ☆13Jan 17, 2022Updated 4 years ago
- MPIA Python Tutorial Source☆14May 15, 2012Updated 13 years ago
- App for gas monitoring with MQ135 Gas sensor, Android and Arduino☆13Jun 15, 2018Updated 7 years ago
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Jun 21, 2015Updated 10 years ago
- A project for an autonomous robot that follow you (your smartphone).☆11Jan 29, 2021Updated 5 years ago
- 🎮 A configurable Breakout environment for reinforcement learning☆11Mar 20, 2018Updated 7 years ago
- DINAMITE LLVM Pass☆11May 24, 2017Updated 8 years ago
- A support library for bindings between Eigen in C++ and Python, based on nanobind☆19Updated this week
- internship☆10Sep 1, 2017Updated 8 years ago
- A simple mycroft skill for launching shell scripts and system commands☆12Jun 1, 2024Updated last year
- Slides about the Rust in the blockchain industry☆10Dec 7, 2022Updated 3 years ago
- Application examples of OpenManipulator☆10Dec 13, 2024Updated last year
- Navigation Turing Test (NTT): Learning to Evaluate Human-Like Navigation [ICML 2021]☆15Jul 17, 2025Updated 7 months ago
- ☆12Feb 6, 2026Updated last week
- ROS2 (Robot Operating System 2) is a flexible framework for developing robotic systems. It provides a set of tools, libraries, and conven…☆11Aug 1, 2023Updated 2 years ago
- A simple C wrapper library, for generating PostScript files.☆11Oct 24, 2020Updated 5 years ago
- biRISC-V - 32-bit dual issue RISC-V CPU Software Environment☆15Jun 24, 2021Updated 4 years ago
- design, run and test desired situations using human, AI, bot or computer control☆11Oct 9, 2018Updated 7 years ago
- Lab assignments for 6.826☆11Nov 8, 2019Updated 6 years ago
- A toolbox of motion planning primitives☆10Jun 8, 2023Updated 2 years ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago
- Fast poor man's profiler for Linux☆12Jun 8, 2023Updated 2 years ago