plexil-group / plexilLinks
☆24Updated 3 months ago
Alternatives and similar repositories for plexil
Users that are interested in plexil are comparing it to the libraries listed below
Sorting:
- JPL Statechart Autocoder Rev. 2☆41Updated 9 years ago
- AXCIOMA, the component framework for distributed, real-time, and embedded systems☆18Updated this week
- FAPE (Flexible Acting and Planning Environment) is a constraint-based planner for the ANML language.☆31Updated 4 years ago
- Reactive Extensions Adapters for RTI Connext DDS.☆23Updated 10 years ago
- Toolbox for automated planning and combinatorial solving.☆57Updated this week
- C++ library for incremental computing☆23Updated 3 years ago
- A framework for the elicitation, specification, formalization and analysis of requirements.☆400Updated 7 months ago
- A python framework base on David Harel's statecharts (SCXML).☆16Updated last month
- Model Driven Engineering for C++ (MDE4CPP)☆13Updated 2 weeks ago
- The hierarchical planner CHIMP (Conflict-driven Hierarchical Meta-CSP Planner).☆17Updated 2 years ago
- Simple Hierarchical Ordered Planner - A mirror of☆38Updated 9 years ago
- A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.☆41Updated last month
- SCXML interpreter and transformer/compiler written in C/C++ with bindings to Java, C#, Python and Lua☆112Updated last year
- ☆226Updated 2 years ago
- Drona is a programming framework for building safe robotics systems☆30Updated 3 years ago
- Planning Domain Definition Language (PDDL) samples demonstrating VS Code PDDL extension features☆33Updated last year
- SCOTT – Secure Connected Trustable Things☆20Updated 4 years ago
- Automated Programming Framework☆15Updated 5 years ago
- Generate C++ or Python3 code from JSON-Schema☆45Updated 2 years ago
- Zenoh Flow examples☆18Updated 2 years ago
- The Meta-CSP Framework: a Java API for meta-constraint reasoning☆13Updated 4 years ago
- C++ StateChart Library☆121Updated 6 years ago
- ELISA Aerospace Working Group☆34Updated last week
- IPC for Real-Time Robot Control☆64Updated 4 years ago
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆23Updated 2 months ago
- Blech is a language for developing reactive, real-time critical embedded software.☆71Updated 3 years ago
- Intuitive concurrent programming in any language☆283Updated this week
- rFSM is a lightweight Statechart implementation in Lua☆58Updated last year
- An Eclipse-based modeling framework for the component-based design and analysis of reactive systems☆35Updated this week
- A list of awesome Behavior Trees resources☆139Updated 2 years ago