Alternatives and similar repositories for plexil

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

• JPLOpenSource / SCA
  JPL Statechart Autocoder Rev. 2
  ☆41Updated 8 years ago
• ZettaScaleLabs / zenoh-flow-examples
  Zenoh Flow examples
  ☆17Updated last year
• RemedyIT / axcioma
  AXCIOMA, the component framework for distributed, real-time, and embedded systems
  ☆18Updated 4 months ago
• laas / fape
  FAPE (Flexible Acting and Planning Environment) is a constraint-based planner for the ANML language.
  ☆31Updated 3 years ago
• MDE4CPP / MDE4CPP
  Model Driven Engineering for C++ (MDE4CPP)
  ☆12Updated last week
• zen747 / pyscm
  A python framework base on David Harel's statecharts (SCXML).
  ☆16Updated 3 years ago
• tklab-tud / uscxml
  SCXML interpreter and transformer/compiler written in C/C++ with bindings to Java, C#, Python and Lua
  ☆111Updated 6 months ago
• plaans / aries
  Toolbox for automated planning and combinatorial solving.
  ☆49Updated this week
• sebastianstock / chimp
  The hierarchical planner CHIMP (Conflict-driven Hierarchical Meta-CSP Planner).
  ☆17Updated last year
• aig-upf / automated-programming-framework
  Automated Programming Framework
  ☆15Updated 5 years ago
• pubkey / binary-decision-diagram
  A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram
  ☆34Updated this week
• fmorbini / scxmlgui
  A graphical user interface for editing SCXML finite state machines.
  ☆110Updated 5 years ago
• AI-Planning / cloud-solver
  Repository that lets you run an automated planner as a service on heroku.
  ☆26Updated 3 years ago
• KCL-Planning / SMTPlan
  PDDL+ planning through compilation to SMT
  ☆48Updated 2 years ago
• NASA-SW-VnV / fret
  A framework for the elicitation, specification, formalization and analysis of requirements.
  ☆369Updated 2 months ago
• rticommunity / rticonnextdds-reactive
  Reactive Extensions Adapters for RTI Connext DDS.
  ☆23Updated 9 years ago
• ftsrg / gamma
  An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
  ☆31Updated this week
• HippoBaro / ultramarine
  High-performance virtual actor system framework on Seastar
  ☆30Updated 6 years ago
• BehaviorTree / awesome-behavior-trees
  A list of awesome Behavior Trees resources
  ☆134Updated 2 years ago
• space-ros / docs
  The Space ROS documentation site.
  ☆9Updated 4 months ago
• Open-MBEE / exec-ve
  Web Client Application designed to enable users to interact with Model Based System Engineering (MBSE) models
  ☆45Updated 11 months ago
• INTO-CPS-Association / into-cps-application
  The front-end of the INTO-CPS tool chain
  ☆21Updated last month
• eclipse-capella / capella-requirements-vp
  This add-on allows importing a set of requirements from a ReqIF file
  ☆20Updated 3 months ago
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• nasa / europa
  ☆222Updated 2 years ago
• remykarem / py2pddl
  Write planning task as Python classes, then translate to PDDL. Type checking included.
  ☆50Updated 2 years ago
• labs4capella / stpa-capella
  STPA Viewpoint for Capella
  ☆24Updated last month
• opencog / ure
  [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…
  ☆55Updated 4 months ago
• nkatzz / OLED
  An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs
  ☆19Updated 4 years ago
• VerifiableRobotics / LTLMoP
  A toolkit for designing and implementing LTL-based task specifications.
  ☆55Updated 8 years ago