A Planning Domain Definition Language (PDDL 3.1) parser written in Rust
☆18Jun 24, 2025Updated 8 months ago
Alternatives and similar repositories for pddl-rs
Users that are interested in pddl-rs are comparing it to the libraries listed below
Sorting:
- A package for building customizable decision trees and random forests.☆10Oct 6, 2025Updated 5 months ago
- ForbidIterative planners for top-k, top-quality, and diverse planning problems☆22Oct 4, 2025Updated 5 months ago
- A blend of the compact and sparse hash table implementations.☆15Aug 20, 2021Updated 4 years ago
- Implementation of the graphplan algorithm and plangraph data structure written in rust☆15Jul 7, 2020Updated 5 years ago
- A very fast C++17 rules engine☆17May 23, 2017Updated 8 years ago
- Unquestionable PDDL 3.1 parser☆159Feb 28, 2026Updated last week
- A lightweight framework for the efficient parsing and manipulation of PDDL in lifted form.☆19Dec 17, 2025Updated 2 months ago
- Tarski - An AI Planning Modeling Framework☆72Dec 23, 2025Updated 2 months ago
- A collection of PDDL generators, some of which have been used to generate benchmarks for the International Planning Competition (IPC).☆149Jan 3, 2026Updated 2 months ago
- ☆22Jun 11, 2024Updated last year
- PDDL exercises and coursework assignments.☆54Apr 18, 2025Updated 10 months ago
- The plan validation system.☆154Oct 18, 2021Updated 4 years ago
- The newly improved planner (and more) in the cloud.☆40Feb 23, 2026Updated last week
- ☆46Nov 18, 2024Updated last year
- vue组件—守望先锋加载动画图标(Overwatch Loading Icon component by Vue.js)☆10Apr 13, 2019Updated 6 years ago
- A Production Flow Description Language for an Order-Centric Production☆10Jan 14, 2026Updated last month
- The AIPlan4EU Unified Planning Library☆294Updated this week
- C++ implementation of CBS with using SIPP as a low-level planner☆10Nov 27, 2018Updated 7 years ago
- ☆10Mar 24, 2023Updated 2 years ago
- Solving the "Flow Free" game (mobile app) with Clojure and SAT☆11Jun 22, 2019Updated 6 years ago
- Homework Template for Typst☆12Apr 5, 2023Updated 2 years ago
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 6 years ago
- ☆12Sep 28, 2021Updated 4 years ago
- A prototype of my proposed name resolution algorithm for Rust.☆13Nov 24, 2015Updated 10 years ago
- Streamlining Solution, Architecture, and Requirements for perfect Alignment.☆32Feb 28, 2026Updated last week
- C-program for Feynman diagram generation☆10Jun 10, 2013Updated 12 years ago
- [OBSOLETE] Mozmill CI system driven by Mozilla Pulse and Jenkins☆19Jun 14, 2017Updated 8 years ago
- [Work in progress] A Rust implementation of the Louvain algorithm 🎈☆10Aug 16, 2023Updated 2 years ago
- A demo of using WebRTC with no signaling server.☆13Sep 3, 2021Updated 4 years ago
- Graph-Based Image Segmentation in Rust☆12Jun 24, 2025Updated 8 months ago
- Rust support for RISC-V Platform-Level Interrupt Controller☆10Oct 13, 2022Updated 3 years ago
- Proto Actor - Ultra fast distributed actors for C++☆12Sep 9, 2017Updated 8 years ago
- Minimal example to demonstrate non-sequentially consistent executions on x86/x64☆13Jan 12, 2018Updated 8 years ago
- VCD Parser for Node.js☆11Jan 7, 2023Updated 3 years ago
- A minimalist waker for async-await executors☆15Jul 16, 2022Updated 3 years ago
- scripts for testing TiDB☆10Feb 4, 2026Updated last month
- Aspect-oriented programming in Rust☆13Nov 1, 2021Updated 4 years ago
- Introduction to homotopy type theory (reading course), LP2 2023, offered via DAT235/DIT577: Research-oriented course in Computer Science …☆14Apr 17, 2024Updated last year
- Wikipedia DB Dump Server + wikitext parser in Go/Golang☆14Jun 25, 2019Updated 6 years ago