Alternatives and similar repositories for SP

Users that are interested in SP are comparing it to the libraries listed below

• iscar-ucm / xdevs
  xDEVS: A cross-platform Discrete EVent System simulator
  ☆13Updated last year
• laas / fape
  FAPE (Flexible Acting and Planning Environment) is a constraint-based planner for the ANML language.
  ☆31Updated 4 years ago
• rindPHI / FSAUtils
  Models of finite automata (DFA, NFA) with support of common operations and easily readable creation of objects
  ☆14Updated 6 years ago
• AI-Planning / lifted-pddl
  A lightweight framework for the efficient parsing and manipulation of PDDL in lifted form.
  ☆17Updated last year
• whitemech / FOND4LTLf
  FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
  ☆16Updated last year
• pellierd / pddl4j
  PDDL4J is an open source library under LGPL license whose purpose of PDDL4J is to facilitate the development of JAVA tools for Automated …
  ☆158Updated last year
• NASARace / race
  actor based framework for building event driven, distributed simulations
  ☆47Updated last year
• traversaro / awesome-fmi
  A curated list of Functional Mock-up Interface (FMI) libraries, tools and resources.
  ☆170Updated last year
• wisdompoet / universal-pddl-parser
  An algorithm for parsing any planning problem in PDDL format
  ☆14Updated 9 years ago
• capocchi / DEVSimPy
  DEVSimPy – Visualize, Model, and Simulate Discrete Event Systems with Python.
  ☆51Updated last week
• remykarem / py2pddl
  Write planning task as Python classes, then translate to PDDL. Type checking included.
  ☆50Updated 2 years ago
• fuzzylite / pyfuzzylite
  pyfuzzylite: a fuzzy logic control library in Python
  ☆77Updated 3 weeks ago
• plaans / aries
  Toolbox for automated planning and combinatorial solving.
  ☆50Updated 3 weeks ago
• domschrei / aquaplanning
  Aquaplanning QUick Automated Planning.
  ☆13Updated 5 years ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆51Updated last year
• modelon-community / PyFMI
  PyFMI is a package for loading and interacting with Functional Mock-Up Units (FMUs) both for Model Exchange and Co-Simulation, which are …
  ☆203Updated this week
• nirlipo / ltl2pddl
  LTL2PDDL tool
  ☆11Updated 8 years ago
• whitemech / Plan4Past
  Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals
  ☆19Updated last year
• gramian / emgr
  emgr -- EMpirical GRamian Framework
  ☆19Updated 2 years ago
• reactive-systems / syfco
  Synthesis Format Conversion Tool
  ☆26Updated last month
• ZettaScaleLabs / zenoh-flow-examples
  Zenoh Flow examples
  ☆17Updated 2 years ago
• ORF307 / companion
  Supporting material for Princeton ORF307
  ☆10Updated 2 months ago
• fmrchallenge / fmrbenchmark
  benchmark problems for research in formal methods for robotics
  ☆14Updated 5 months ago
• python-control / Slycot
  Python wrapper for the Subroutine Library in Systems and Control Theory (SLICOT)
  ☆145Updated 2 months ago
• thiagopbueno / tf-plan
  Planning through backpropagation using TensorFlow.
  ☆16Updated 5 years ago
• RoboStack / jupyterlab-ros
  Helper extensions for running ROS from within JupyterLab
  ☆66Updated 2 years ago
• sebastianstock / chimp
  The hierarchical planner CHIMP (Conflict-driven Hierarchical Meta-CSP Planner).
  ☆17Updated last year
• bjnortier / max
  Development of a virtual quadruped robot using OpenAI & Mujoco
  ☆16Updated 2 years ago
• ros-industrial / kuka
  ROS-Industrial KUKA support (http://wiki.ros.org/kuka)
  ☆37Updated 6 years ago
• gerryai / PDDL4J
  This is a mirror of the PDDL4J project on SourceForge. PDDL4J is an open source library to facilitate java implementation of planners bas…
  ☆17Updated 13 years ago