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
• pubkey / binary-decision-diagram
  A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram
  ☆35Updated last week
• plaans / aries
  Toolbox for automated planning and combinatorial solving.
  ☆57Updated last week
• fmorbini / scxmlgui
  A graphical user interface for editing SCXML finite state machines.
  ☆113Updated 5 years ago
• laas / fape
  FAPE (Flexible Acting and Planning Environment) is a constraint-based planner for the ANML language.
  ☆31Updated 4 years ago
• zen747 / pyscm
  A python framework base on David Harel's statecharts (SCXML).
  ☆16Updated last month
• NASA-SW-VnV / fret
  A framework for the elicitation, specification, formalization and analysis of requirements.
  ☆398Updated 7 months ago
• atolab / zhe
  Lighter-than-air, peer-to-peer, bounded, non-blocking, non-threaded, etc., publish-subscribe networking
  ☆52Updated 4 years ago
• opencog / ure
  [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…
  ☆56Updated 4 months ago
• 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
  ☆39Updated last month
• sebastianstock / chimp
  The hierarchical planner CHIMP (Conflict-driven Hierarchical Meta-CSP Planner).
  ☆17Updated 2 years ago
• kmarkus / rFSM
  rFSM is a lightweight Statechart implementation in Lua
  ☆58Updated last year
• rchowell / Sift
  Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.
  ☆22Updated 3 years ago
• jaxa / roscfe
  RACS - the ROS1 and cFS System
  ☆30Updated 2 years ago
• nasa / PLEXIL5
  PLEXIL5 is a Formal Verification Environment for PLEXIL
  ☆19Updated last month
• patham9 / ANSNA
  Adaptive Neuro-Symbolic Network Agent
  ☆41Updated 3 years ago
• lf-lang / lingua-franca
  Intuitive concurrent programming in any language
  ☆283Updated last week
• eProsima / DDS-Router
  The DDS Router is an application developed by eProsima that allows, using Fast DDS, to communicate by DDS protocol different networks. Lo…
  ☆74Updated 2 weeks ago
• Open-MBEE / Comodo
  COMODO2 is a Java tool that allows to transform a UML/SysML model into code for different software platforms.
  ☆26Updated last year
• golems / ach
  IPC for Real-Time Robot Control
  ☆64Updated 4 years ago
• VerifiableRobotics / LTLMoP
  A toolkit for designing and implementing LTL-based task specifications.
  ☆56Updated 9 years ago
• timed-c / ktc
  KTH's Timed C compiler
  ☆19Updated 4 years ago
• knowrob / knowrob
  A Knowledge Base System for Cognition-enabled Robots
  ☆149Updated 7 months ago
• potassco / plasp
  🗺️ ASP planning tools for PDDL
  ☆32Updated 4 years ago
• nasa / europa
  ☆226Updated 2 years ago
• Periklismant / oPIEC
  oPIEC: Online Event Recognition over Noisy Data Streams using the Event Calculus
  ☆19Updated last year
• BehaviorTree / awesome-behavior-trees
  A list of awesome Behavior Trees resources
  ☆139Updated 2 years ago