A Planning Domain Definition Language (PDDL 3.1) parser written in Rust
☆20Oct 10, 2026Updated last 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:
- Relational Features for Planning☆16Mar 27, 2026Updated 6 months ago
- ☆17Mar 15, 2024Updated 2 years ago
- ☆21Sep 25, 2026Updated 3 weeks ago
- A blend of the compact and sparse hash table implementations.☆15Aug 20, 2021Updated 5 years ago
- A package for building customizable decision trees and random forests.☆10Jul 8, 2026Updated 3 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Implementation of the graphplan algorithm and plangraph data structure written in rust☆15Jul 7, 2020Updated 6 years ago
- Unquestionable PDDL 3.1 parser☆179Oct 7, 2026Updated last week
- An Affective Platform for AI in an Interdisciplinary Setting☆12May 25, 2026Updated 4 months ago
- A collection of PDDL generators, some of which have been used to generate benchmarks for the International Planning Competition (IPC).☆161Updated this week
- Graph Learning for Planning☆33Mar 27, 2026Updated 6 months ago
- A lightweight framework for the efficient parsing and manipulation of PDDL in lifted form.☆20Dec 17, 2025Updated 10 months ago
- Domain and problem PDDL parser in C/C++ using Flex & Bison.☆16Jun 18, 2019Updated 7 years ago
- Graph-Based Image Segmentation in Rust☆12Jun 24, 2025Updated last year
- A very fast C++17 rules engine☆17May 23, 2017Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Learning Domain-Independent Planning Heuristics over Hypergraphs (ICAPS'20)☆15Mar 21, 2025Updated last year
- ☆51Aug 18, 2026Updated last month
- An extension of the Fast Downward planning system with state-of-the-art algorithms☆21Oct 10, 2026Updated last week
- ☆23Jun 11, 2024Updated 2 years ago
- The plan validation system.☆165Oct 18, 2021Updated 4 years ago
- Automatically deleted async I/O temporary files in Rust☆16Jun 2, 2026Updated 4 months ago
- Verified computational algebra in Lean 4: aggregator for the released hex libraries☆35Updated this week
- Distributed Earthquake Early Warning (EEW) system built on low-cost ESP32-C3 IoT sensors with Zero-Trust security, multi-node epicenter t…☆21Oct 6, 2026Updated last week
- Classical Planning in Python☆104Sep 3, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 7 years ago
- ☆22Apr 13, 2021Updated 5 years ago
- An open source graphical proof construction assistant for the creation of Propositional Natural Deduction proofs.☆17May 24, 2026Updated 4 months ago
- Reinforcement Learning for Classical Planning☆12Apr 13, 2022Updated 4 years ago
- Solving the "Flow Free" game (mobile app) with Clojure and SAT☆12Jun 22, 2019Updated 7 years ago
- Homework Template for Typst☆13Apr 5, 2023Updated 3 years ago
- ☆11Mar 31, 2023Updated 3 years ago
- Example Code for the Conditional Action Trees Paper☆13May 24, 2021Updated 5 years ago
- cr4sh_ (pronounced crash, because it crashes all the time) is a Linux shell fully written with Rust. This can be used for educational pur…☆23Sep 29, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Symk is a state-of-the-art classical optimal and top-k planner.☆49Aug 24, 2026Updated last month
- The AIPlan4EU Unified Planning Library☆327Updated this week
- By the community, for everyone. Planning.wiki is the online guide to AI Planning☆85May 3, 2023Updated 3 years ago
- Verified decision procedures for modal logics in Lean☆13Jun 13, 2020Updated 6 years ago
- Collection of AI, Data Structures, Data Science, DBMS, and OOP practicals implemented in Python, aligned with the SPPU 2024 curriculum. I…☆33Updated this week
- ☆12Mar 6, 2020Updated 6 years ago
- Tutorial on Multi-Agent Reinforcement for Train Scheduling☆11May 18, 2020Updated 6 years ago