Aquaplanning QUick Automated Planning.
☆13Oct 13, 2020Updated 5 years ago
Alternatives and similar repositories for aquaplanning
Users that are interested in aquaplanning are comparing it to the libraries listed below
Sorting:
- 🗺️ ASP planning tools for PDDL☆32Jul 9, 2021Updated 4 years ago
- The INVAL plan validator, and other PDDL tools.☆22Dec 3, 2023Updated 2 years ago
- Branch of JavaFF planner for PDDL2.1☆16Oct 18, 2018Updated 7 years ago
- Tarski - An AI Planning Modeling Framework☆72Dec 23, 2025Updated 2 months ago
- Deep Successor Representation☆18Mar 6, 2018Updated 8 years ago
- ☆17Feb 11, 2026Updated 3 weeks ago
- 🌍 PDDL instances covering the International Planning Competitions☆147Mar 11, 2021Updated 4 years ago
- By the community, for everyone. Planning.wiki is the online guide to AI Planning☆84May 3, 2023Updated 2 years ago
- PDDL+ planning through compilation to SMT☆51Feb 15, 2023Updated 3 years ago
- ☆25Apr 18, 2015Updated 10 years ago
- PDDL4J is an open source library under LGPL license whose purpose of PDDL4J is to facilitate the development of JAVA tools for Automated …☆163Sep 26, 2024Updated last year
- General library for setting up linux-based environments for developing, running, and evaluating planners.☆135Feb 25, 2026Updated last week
- FAPE (Flexible Acting and Planning Environment) is a constraint-based planner for the ANML language.☆31Aug 30, 2021Updated 4 years ago
- The Llunatic Mapping and Cleaning Chase Engine☆37Jan 12, 2024Updated 2 years ago
- EncryCore node reference implementation☆15Apr 2, 2020Updated 5 years ago
- tool for postgres to automatically build rest services and web forms☆13Updated this week
- Lab is a framework for evaluating planners and other solvers.☆34Feb 25, 2026Updated last week
- The plan validation system.☆154Oct 18, 2021Updated 4 years ago
- Lifted Logic for Task Networks: SAT-driven Planning for Totally-ordered Hierarchical Task Networks (HTN)☆33Dec 5, 2023Updated 2 years ago
- ARM64 fork of Cloudbox, an Ansible and Docker based solution for rapidly deploying a cloud media server. *ALPHA testing*☆15Jul 30, 2020Updated 5 years ago
- Provides a simple way to queue and dispatch events to subscribers.☆12Aug 27, 2025Updated 6 months ago
- This project is deprecated. See: README.md☆11Feb 16, 2017Updated 9 years ago
- ☆10Nov 23, 2024Updated last year
- ☆12Apr 1, 2021Updated 4 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- PDDL Syntax Highlighting, Snippets, Domain Visualization and more for Sublime Text☆37Apr 13, 2018Updated 7 years ago
- SHOP3 Git repository☆161Feb 18, 2026Updated 2 weeks ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 years ago
- An implementation of Google QUIC transport layer protocol for the Akka toolkit.☆12Aug 8, 2022Updated 3 years ago
- ROS packages for building wide intelligence project, University of Texas at Austin☆10Jul 5, 2024Updated last year
- A collection of problem specifications in Essence.☆10Dec 4, 2025Updated 3 months ago
- Rebar3 plugin to generate CycloneDX SBoM☆12Updated this week
- PKIX certificates management for Erlang☆12Jun 27, 2024Updated last year
- Rapid system integration of high-level synthesis kernels using the LEAP FPGA framework☆12Apr 17, 2016Updated 9 years ago
- ☆13Feb 27, 2026Updated last week
- Simple C++ project that includes header only implementations of Monte Carlo Tree Search(MCTS), Temporal Difference Learning, Minimax, an…☆11Jan 29, 2026Updated last month
- Exploring Methods of Protecting Confidential Erlang Workloads with Intel SGX☆12Jun 19, 2020Updated 5 years ago
- ☆17Nov 21, 2020Updated 5 years ago
- A basic example of writing a VerneMQ plugin in Elixir☆11Sep 27, 2018Updated 7 years ago