Skip to content
@plaans

PLAN @ LAAS (plaans)

Pinned Loading

  1. aries aries Public

    Toolbox for automated planning and combinatorial solving.

    Rust 43 6

  2. gobot-sim gobot-sim Public

    High-level robotic simulator based on the Godot engine.

    GDScript 32 6

Repositories

Showing 10 of 13 repositories
  • tyr Public
    plaans/tyr’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Sep 11, 2024
  • aries Public

    Toolbox for automated planning and combinatorial solving.

    plaans/aries’s past year of commit activity
    Rust 43 MIT 6 7 (1 issue needs help) 2 Updated Sep 11, 2024
  • tyr-custom-domains Public
    plaans/tyr-custom-domains’s past year of commit activity
    PDDL 0 MIT 0 0 0 Updated Aug 13, 2024
  • tyr-optic Public

    Optic planner integration for Tyr

    plaans/tyr-optic’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Jul 31, 2024
  • tyr-popcorn Public

    Popcorn planner integration for Tyr

    plaans/tyr-popcorn’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Jul 30, 2024
  • tyr-scheduling-domains Public

    Domains from the scheduling community for Tyr

    plaans/tyr-scheduling-domains’s past year of commit activity
    Java 0 MIT 0 0 0 Updated Jul 19, 2024
  • tyr-ipc-domains Public Forked from melahi/pddl-instances

    🌍 PDDL instances covering the International Planning Competitions

    plaans/tyr-ipc-domains’s past year of commit activity
    PDDL 0 MIT 56 0 0 Updated Jul 12, 2024
  • tyr-popf Public

    POPF planner integration for Tyr

    plaans/tyr-popf’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Jul 12, 2024
  • tyr-pandapi Public

    PandaPi planner integration for Tyr

    plaans/tyr-pandapi’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Jun 21, 2024
  • tyr-linear-complex Public

    LinearComplex planner integration for Tyr

    plaans/tyr-linear-complex’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Jun 21, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…