A Planning Domain Definition Language (PDDL 3.1) parser written in Rust
☆20Nov 2, 2026Updated this week
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:
- ☆17Mar 15, 2024Updated 2 years ago
- ForbidIterative planners for top-k, top-quality, and diverse planning problems☆23Oct 12, 2026Updated 3 weeks ago
- Portable four-parameter vital signs monitor (ECG, SpO2, temperature, respiration) built on ESP32. Biomedical engineering bachelor's proje…☆18Jul 9, 2026Updated 3 months ago
- ☆22Sep 25, 2026Updated last month
- K* search based implementation of top-k and top-quality planners☆19Oct 28, 2026Updated last week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Unquestionable PDDL 3.1 parser☆180Updated this week
- Implementation of the graphplan algorithm and plangraph data structure written in rust☆15Jul 7, 2020Updated 6 years ago
- Library of miscellaneous utilies to work with PDDL (both in Python and on the command line).☆10Jul 12, 2026Updated 3 months ago
- Powerlifted Planner☆39Updated this week
- A blend of the compact and sparse hash table implementations.☆15Aug 20, 2021Updated 5 years ago
- STRIPS benchmarks for classical planning☆16Mar 29, 2022Updated 4 years ago
- An Affective Platform for AI in an Interdisciplinary Setting☆12May 25, 2026Updated 5 months ago
- A lightweight framework for the efficient parsing and manipulation of PDDL in lifted form.☆20Dec 17, 2025Updated 10 months ago
- A collection of PDDL generators, some of which have been used to generate benchmarks for the International Planning Competition (IPC).☆161Oct 17, 2026Updated 2 weeks 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.
- Graph-Based Image Segmentation in Rust☆12Jun 24, 2025Updated last year
- A very fast C++17 rules engine☆17May 23, 2017Updated 9 years ago
- The INVAL plan validator, and other PDDL tools.☆24Dec 3, 2023Updated 2 years ago
- Tarski - An AI Planning Modeling Framework☆75Dec 23, 2025Updated 10 months ago
- ☆51Aug 18, 2026Updated 2 months ago
- ☆23Jun 11, 2024Updated 2 years ago
- Automatically deleted async I/O temporary files in Rust☆16Jun 2, 2026Updated 5 months ago
- PDDL4J is an open source library under LGPL license whose purpose of PDDL4J is to facilitate the development of JAVA tools for Automated …☆166Sep 26, 2024Updated 2 years ago
- Distributed Earthquake Early Warning (EEW) system built on low-cost ESP32-C3 IoT sensors with Zero-Trust security, multi-node epicenter t…☆24Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- An open source graphical proof construction assistant for the creation of Propositional Natural Deduction proofs.☆17May 24, 2026Updated 5 months ago
- Classical Planning in Python☆104Sep 3, 2023Updated 3 years ago
- MDP and RL interface for PDDL domains via PDDL.jl + POMDPs.jl.☆16Jun 14, 2024Updated 2 years ago
- A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.☆11Jan 5, 2025Updated last year
- Jai WASM Plugin☆12Nov 13, 2023Updated 2 years ago
- ☆10Jun 28, 2022Updated 4 years ago
- The Fast Downward domain-independent classical planning system☆410Oct 29, 2026Updated last week
- ☆11Mar 31, 2023Updated 3 years ago
- The C(canonical) Scan Matcher☆14Nov 23, 2020Updated 5 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Tutorial on Multi-Agent Reinforcement for Train Scheduling☆11May 18, 2020Updated 6 years ago
- Links to recourses for the Lean Theorem Prover☆13Dec 3, 2019Updated 6 years ago
- Opinionated library for managing hyperparameters and mutable state of machine learning training systems.☆19Aug 4, 2023Updated 3 years ago
- Verified decision procedures for modal logics in Lean☆13Jun 13, 2020Updated 6 years ago
- Proto Actor - Ultra fast distributed actors for C++☆12Sep 9, 2017Updated 9 years ago
- The AIPlan4EU Unified Planning Library☆330Updated this week
- Homework Template for Typst☆13Apr 5, 2023Updated 3 years ago