☆21Jul 5, 2026Updated 2 weeks ago
Alternatives and similar repositories for mimir
Users that are interested in mimir are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Relational Features for Planning☆15Mar 27, 2026Updated 3 months ago
- Symk is a state-of-the-art classical optimal and top-k planner.☆48Updated this week
- A library for constructing and evaluating state features made up of description logics for planning.☆12Mar 17, 2025Updated last year
- Graph Learning for Planning☆29Mar 27, 2026Updated 3 months ago
- ForbidIterative planners for top-k, top-quality, and diverse planning problems☆23Oct 4, 2025Updated 9 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- STRIPS benchmarks for classical planning☆16Mar 29, 2022Updated 4 years ago
- ☆16Mar 15, 2024Updated 2 years ago
- Latex listing for planning formalisms☆15May 17, 2022Updated 4 years ago
- ☆25Nov 10, 2024Updated last year
- Symbolic planners for problems and domains specified in PDDL.☆65Nov 2, 2025Updated 8 months ago
- ☆25Sep 25, 2024Updated last year
- Unquestionable PDDL 3.1 parser☆175Jul 9, 2026Updated 2 weeks ago
- ☆10Oct 7, 2024Updated last year
- A Planning Domain Definition Language (PDDL 3.1) parser written in Rust☆20Jun 19, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Learning Domain-Independent Planning Heuristics over Hypergraphs (ICAPS'20)☆15Mar 21, 2025Updated last year
- The INVAL plan validator, and other PDDL tools.☆22Dec 3, 2023Updated 2 years ago
- Domain and problem PDDL parser in Python3 using ply.☆13Aug 21, 2018Updated 7 years ago
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆17Nov 3, 2024Updated last year
- Tracing Compiler with CppAD and Pinocchio☆50Updated this week
- ☆24Jun 11, 2024Updated 2 years ago
- An extension of the Fast Downward planning system with state-of-the-art algorithms☆21Jul 19, 2026Updated last week
- A package for building customizable decision trees and random forests.☆10Jul 8, 2026Updated 2 weeks ago
- ☆15Aug 12, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆51Updated this week
- PushWorld: A benchmark for manipulation planning with tools and movable obstacles☆95May 5, 2026Updated 2 months ago
- Scalar feature extractor for AI planning problems and domains in PDDL format☆16Dec 14, 2020Updated 5 years ago
- A blend of the compact and sparse hash table implementations.☆15Aug 20, 2021Updated 4 years ago
- The AIPlan4EU Unified Planning Library☆312Updated this week
- PDDL exercises and coursework assignments.☆54Apr 18, 2025Updated last year
- ACPBench: Reasoning about Action, Change, and Planning. A benchmark designed to evaluate the fundamental reasoning abilities in the dom…☆33Feb 11, 2026Updated 5 months ago
- A Python-based Trajectory Optimization Framework☆25Oct 29, 2024Updated last year
- TU DOrtmund lossless COMPression framework☆19Sep 7, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Source for Action Schema Networks paper (AAAI'18)☆32Apr 6, 2023Updated 3 years ago
- A toolkit for auto-generation of OpenAI Gym environments from RDDL description files.☆93Jun 7, 2026Updated last month
- GPU-Accelerated Inverse Kinematics☆18Jul 18, 2026Updated last week
- A toolbox of motion planning primitives☆10Jun 8, 2023Updated 3 years ago
- An algorithm for parsing any planning problem in PDDL format☆20Jan 19, 2023Updated 3 years ago
- Kinodyanmic Parallel Accelerated eXpansion☆13Sep 9, 2024Updated last year
- Code for the paper "Trust the PRoC3S: Solving Long-Horizon Robotics Problems with LLMs and Constraint Satisfaction" presented at CoRL 202…☆33Nov 18, 2024Updated last year