Skip to content
Change the repository type filter

All

    Repositories list

    • aries

      Public
      Toolbox for automated planning and combinatorial solving.
      Rust
      MIT License
      115885Updated Mar 26, 2026Mar 26, 2026
    • PDDL
      MIT License
      0000Updated Mar 18, 2026Mar 18, 2026
    • PDDL
      MIT License
      0000Updated Feb 26, 2026Feb 26, 2026
    • tyr

      Public
      Python-based tool designed for comparing a set of task planners over a variety of problems.
      Python
      MIT License
      0100Updated Feb 26, 2026Feb 26, 2026
    • 🌍 PDDL instances covering the International Planning Competitions
      PDDL
      MIT License
      61100Updated Dec 16, 2025Dec 16, 2025
    • PDDL
      MIT License
      0000Updated Oct 1, 2025Oct 1, 2025
    • beluga

      Public
      Repository for experimenting with the Beluga domain
      Python
      0000Updated Sep 1, 2025Sep 1, 2025
    • C++
      0000Updated Aug 20, 2025Aug 20, 2025
    • tyr-tflap

      Public
      TFLAP planner integration for Tyr
      C++
      MIT License
      0000Updated Aug 14, 2025Aug 14, 2025
    • Set of scripts to evaluate aries performance on minizinc problems
      Python
      MIT License
      0000Updated Jul 18, 2025Jul 18, 2025
    • Collection of MiniZinc problems to test the solver Aries
      MiniZinc
      MIT License
      0100Updated Jul 18, 2025Jul 18, 2025
    • gobot-sim

      Public
      High-level robotic simulator based on the Godot engine.
      GDScript
      MIT License
      73941Updated Jun 26, 2025Jun 26, 2025
    • Popcorn planner integration for Tyr
      Python
      MIT License
      0000Updated Jul 30, 2024Jul 30, 2024
    • Domains from the scheduling community for Tyr
      Java
      MIT License
      0000Updated Jul 19, 2024Jul 19, 2024
    • tyr-popf

      Public
      POPF planner integration for Tyr
      Python
      MIT License
      0000Updated Jul 12, 2024Jul 12, 2024
    • PandaPi planner integration for Tyr
      Python
      MIT License
      0000Updated Jun 21, 2024Jun 21, 2024
    • LinearComplex planner integration for Tyr
      Python
      MIT License
      0000Updated Jun 21, 2024Jun 21, 2024
    • ompas

      Public
      Acting system based on the Refinement Acting Engine
      Rust
      MIT License
      1400Updated Apr 17, 2024Apr 17, 2024
    • explain

      Public
      Project to extract explanation from a plan and his PDDL file
      Rust
      2300Updated Oct 6, 2021Oct 6, 2021
    ProTip! Don't forget that you can create saved views to keep track of your most important repositories!