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 this week
• laas / fape
  FAPE (Flexible Acting and Planning Environment) is a constraint-based planner for the ANML language.
  ☆31Updated 4 years ago
• plaans / aries
  Toolbox for automated planning and combinatorial solving.
  ☆57Updated this week
• opencog / ure
  [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…
  ☆57Updated 4 months ago
• NASA-SW-VnV / fret
  A framework for the elicitation, specification, formalization and analysis of requirements.
  ☆400Updated 7 months ago
• nkatzz / OLED
  An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs
  ☆19Updated 5 years ago
• fmorbini / scxmlgui
  A graphical user interface for editing SCXML finite state machines.
  ☆113Updated 5 years ago
• AI-Planning / cloud-solver
  Repository that lets you run an automated planner as a service on heroku.
  ☆26Updated 6 months ago
• Periklismant / oPIEC
  oPIEC: Online Event Recognition over Noisy Data Streams using the Event Calculus
  ☆19Updated last year
• tklab-tud / uscxml
  SCXML interpreter and transformer/compiler written in C/C++ with bindings to Java, C#, Python and Lua
  ☆112Updated last year
• boschresearch / blech
  Blech is a language for developing reactive, real-time critical embedded software.
  ☆71Updated 3 years ago
• sebastianstock / chimp
  The hierarchical planner CHIMP (Conflict-driven Hierarchical Meta-CSP Planner).
  ☆17Updated 2 years ago
• MDE4CPP / MDE4CPP
  Model Driven Engineering for C++ (MDE4CPP)
  ☆13Updated 2 weeks ago
• EricssonResearch / scott-eu
  SCOTT – Secure Connected Trustable Things
  ☆20Updated 4 years ago
• aartikis / RTEC
  RTEC is an Event Calculus implementation optimised for stream reasoning
  ☆100Updated last month
• moise-lang / moise
  Moise is an organisational platform for Multi-Agent Systems
  ☆16Updated 3 months ago
• potassco / plasp
  🗺️ ASP planning tools for PDDL
  ☆32Updated 4 years ago
• yellicode / core
  Core package for Yellicode - an extensible code generator.
  ☆12Updated last year
• Mortimerp9 / Prolog-Graphplan
  The Graphplan algorithm is an automatic planning algorithm that can compute, given a set of rules, a plan of action to go from an initial…
  ☆38Updated 11 years ago
• zen747 / pyscm
  A python framework base on David Harel's statecharts (SCXML).
  ☆16Updated last month
• cl-axon / shop2
  Simple Hierarchical Ordered Planner - A mirror of
  ☆38Updated 9 years ago
• HippoBaro / ultramarine
  High-performance virtual actor system framework on Seastar
  ☆30Updated 6 years ago
• pearmaster / json-schema-codegen
  Generate C++ or Python3 code from JSON-Schema
  ☆45Updated 2 years ago
• lf-lang / lingua-franca
  Intuitive concurrent programming in any language
  ☆283Updated this week
• aig-upf / automated-programming-framework
  Automated Programming Framework
  ☆15Updated 5 years ago
• jan-dolejsi / vscode-pddl-samples
  Planning Domain Definition Language (PDDL) samples demonstrating VS Code PDDL extension features
  ☆33Updated last year
• AI-Planning / planning-as-a-service
  The newly improved planner (and more) in the cloud.
  ☆38Updated 8 months ago
• doganulus / reelay
  A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
  ☆41Updated last month
• BehaviorTree / awesome-behavior-trees
  A list of awesome Behavior Trees resources
  ☆139Updated 2 years ago