A Planning Domain Definition Language (PDDL 3.1) parser written in Rust
☆20Jun 19, 2026Updated 2 months ago
Alternatives and similar repositories for pddl-rs
Users that are interested in pddl-rs 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 5 months ago
- K* search based implementation of top-k and top-quality planners☆19Aug 19, 2026Updated 2 weeks ago
- ForbidIterative planners for top-k, top-quality, and diverse planning problems☆23Oct 4, 2025Updated 11 months ago
- Powerlifted Planner☆38Aug 4, 2026Updated last month
- A blend of the compact and sparse hash table implementations.☆15Aug 20, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆21Aug 4, 2015Updated 11 years ago
- Tarski - An AI Planning Modeling Framework☆74Dec 23, 2025Updated 8 months ago
- A very fast C++17 rules engine☆17May 23, 2017Updated 9 years ago
- Learning Domain-Independent Planning Heuristics over Hypergraphs (ICAPS'20)☆15Mar 21, 2025Updated last year
- ☆51Aug 18, 2026Updated 2 weeks ago
- An exploratory look at Rust game engines using the Boids life program☆10Dec 23, 2021Updated 4 years ago
- PDDL exercises and coursework assignments.☆54Apr 18, 2025Updated last year
- ☆23Jun 11, 2024Updated 2 years ago
- The plan validation system.☆162Oct 18, 2021Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆10Jun 28, 2022Updated 4 years ago
- An open source graphical proof construction assistant for the creation of Propositional Natural Deduction proofs.☆17May 24, 2026Updated 3 months ago
- Example Code for the Conditional Action Trees Paper☆13May 24, 2021Updated 5 years ago
- MDP and RL interface for PDDL domains via PDDL.jl + POMDPs.jl.☆16Jun 14, 2024Updated 2 years ago
- Solving the "Flow Free" game (mobile app) with Clojure and SAT☆12Jun 22, 2019Updated 7 years ago
- Reinforcement Learning for Classical Planning☆12Apr 13, 2022Updated 4 years ago
- An alternative simulator to gazebo for doing ROS 2 simulation☆14Sep 15, 2023Updated 2 years ago
- Verified decision procedures for modal logics in Lean☆13Jun 13, 2020Updated 6 years ago
- ☆12Mar 6, 2020Updated 6 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Code from the book Bare Metal micro:bit, configured for the V2 micro:bit with an nRF52833 microcontroller chip.☆15Oct 13, 2025Updated 10 months ago
- Links to recourses for the Lean Theorem Prover☆13Dec 3, 2019Updated 6 years ago
- Github mirror of MediaWiki extension WikibaseQualityConstraints - our actual code is hosted with Gerrit (please see https://www.mediawiki…☆14Updated this week
- A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.☆11Jan 5, 2025Updated last year
- Integration of the planning system Fast Downward with the unified-planning framework.☆15Aug 5, 2025Updated last year
- ☆16Dec 22, 2017Updated 8 years ago
- The Fast Downward domain-independent classical planning system☆399Updated this week
- JAX compilation of RDDL description files, and a differentiable planner in JAX.☆16Jun 28, 2026Updated 2 months ago
- Python bindings for the Rusty Object Notation.☆20Aug 10, 2026Updated 3 weeks ago
- 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.
- Implementation of quadcopter flight dynamics & control.☆17Apr 23, 2023Updated 3 years ago
- The newly improved planner (and more) in the cloud.☆43Mar 25, 2026Updated 5 months ago
- MBRL library in JAX☆10Sep 22, 2022Updated 3 years ago
- Matrix decomposition algorithms including PCA (principal component analysis) and ICA (independent component analysis)☆20Jun 16, 2026Updated 2 months ago
- An algorithm for parsing any planning problem in PDDL format☆15Sep 16, 2016Updated 9 years ago
- A toolkit for working with RDDL domains in Python3.☆18Nov 7, 2020Updated 5 years ago
- Automated Programming Framework☆15May 11, 2020Updated 6 years ago