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 9 years ago
• RemedyIT / axcioma
  AXCIOMA, the component framework for distributed, real-time, and embedded systems
  ☆18Updated last month
• ZettaScaleLabs / zenoh-flow-examples
  Zenoh Flow examples
  ☆18Updated 2 years ago
• zen747 / pyscm
  A python framework base on David Harel's statecharts (SCXML).
  ☆16Updated 4 years ago
• tklab-tud / uscxml
  SCXML interpreter and transformer/compiler written in C/C++ with bindings to Java, C#, Python and Lua
  ☆112Updated 9 months ago
• laas / fape
  FAPE (Flexible Acting and Planning Environment) is a constraint-based planner for the ANML language.
  ☆31Updated 4 years ago
• potassco / plasp
  🗺️ ASP planning tools for PDDL
  ☆31Updated 4 years ago
• cl-axon / shop2
  Simple Hierarchical Ordered Planner - A mirror of
  ☆36Updated 9 years ago
• aig-upf / automated-programming-framework
  Automated Programming Framework
  ☆15Updated 5 years ago
• opencog / ure
  [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…
  ☆55Updated last month
• MDE4CPP / MDE4CPP
  Model Driven Engineering for C++ (MDE4CPP)
  ☆13Updated last week
• Open-MBEE / exec-ve
  Web Client Application designed to enable users to interact with Model Based System Engineering (MBSE) models
  ☆47Updated last year
• rticommunity / rticonnextdds-reactive
  Reactive Extensions Adapters for RTI Connext DDS.
  ☆23Updated 10 years ago
• dbinfrago / capella-dockerimages
  Collection of Docker images to run Capella, Papyrus, Eclipse or pure::variants in a container, either headless or with GUI.
  ☆20Updated last month
• jan-dolejsi / vscode-pddl-samples
  Planning Domain Definition Language (PDDL) samples demonstrating VS Code PDDL extension features
  ☆33Updated last year
• kieler / KLighD
  KIELER Lightweight Diagams
  ☆38Updated 3 months ago
• zen747 / scm
  A C++ framework base on David Harel's statecharts (SCXML).
  ☆16Updated 4 years ago
• wilseypa / warped2
  warped simulation kernel (replacement of old system, beginning with version 5.0)
  ☆16Updated last year
• EricssonResearch / scott-eu
  SCOTT – Secure Connected Trustable Things
  ☆20Updated 4 years ago
• sebastianstock / chimp
  The hierarchical planner CHIMP (Conflict-driven Hierarchical Meta-CSP Planner).
  ☆17Updated last year
• SNePS / SNePS2
  The SNePS 2 Knowledge Representation and Reasoning System
  ☆12Updated 7 years ago
• eclipse-zenoh-flow / zenoh-flow-python
  Zenoh Flow Python API
  ☆14Updated 9 months ago
• labs4capella / python4capella
  Python for Capella
  ☆66Updated last week
• pubkey / binary-decision-diagram
  A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram
  ☆35Updated this week
• elisa-tech / wg-aerospace
  ELISA Aerospace Working Group
  ☆32Updated last week
• nasa / PLEXIL5
  PLEXIL5 is a Formal Verification Environment for PLEXIL
  ☆18Updated 2 years ago
• ftsrg / gamma
  An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
  ☆33Updated this week
• kmarkus / rFSM
  rFSM is a lightweight Statechart implementation in Lua
  ☆58Updated last year
• eclipse-capella / capella-requirements-vp
  This add-on allows importing a set of requirements from a ReqIF file
  ☆22Updated 6 months ago
• lf-lang / lingua-franca
  Intuitive concurrent programming in any language
  ☆280Updated this week