15 projects
pyrunir
Runir description logic feature library
pytyr
Tyr datalog/planning library
pypddl
Python-distributed native package for the Loki PDDL parser library
pyyggdrasil
Native dependency provider for Dominik Drexler's planning projects
pypddl-datasets
Download PDDL planning benchmark suites: classical, numeric, profiling, and learning splits.
pybrokkr
Build tooling for native C++ libraries shipped as Python wheels: CMake helpers and a scikit-build-core backend
verdog-cli
The Verdog command-line client.
verdog-runtime
The Verdog workflow runtime.
peachycheck
Native linters and agent hooks from one peachycheck.yml per repository
pymimir
None
pyrunir-mcp
Stateful pyrunir validation API for planning-and-learning agents
pytyr-mcp
Typed pytyr planning API for planning-and-learning agents
dlplan
A library for using description logics features in planning
pykwl
Weisfeiler-Leman library
state-space-generator
A tool for state space exploration of PDDL files
