plexil-group / plexil
☆17Updated 8 months ago
Alternatives and similar repositories for plexil:
Users that are interested in plexil are comparing it to the libraries listed below
- JPL Statechart Autocoder Rev. 2☆40Updated 8 years ago
- A compact implementation of the Cyphal/UDP protocol in C for high-integrity real-time embedded systems☆12Updated last month
- AXCIOMA, the component framework for distributed, real-time, and embedded systems☆16Updated last month
- ELISA Aerospace Working Group☆22Updated this week
- A C++ framework base on David Harel's statecharts (SCXML).☆16Updated 3 years ago
- Pollux payload core files and examples☆3Updated last year
- ☆11Updated 8 months ago
- Finite State Machine Engine for Go☆10Updated this week
- Software Quality Management Tool☆17Updated last week
- SCXML interpreter and transformer/compiler written in C/C++ with bindings to Java, C#, Python and Lua☆107Updated 3 years ago
- PLEXIL5 is a Formal Verification Environment for PLEXIL☆17Updated last year
- C++ State Machine generator for Xstate☆54Updated 3 years ago
- Statecharts☆13Updated 6 months ago
- Reactive Extensions Adapters for RTI Connext DDS.☆23Updated 9 years ago
- pgpkg is a small, fast CLI tool and Go library that enables seamless integration of PostgreSQL functions into native code workflows. It i…☆22Updated 2 months ago
- A tiny framework to wrap algorithms for dataflow programming☆41Updated last month
- Tools to identify complexity in software models (e.g., SCADE, AADL).☆12Updated 9 years ago
- Go-lang API for zenoh☆15Updated last year
- Ada client library for ROS2/RCL☆11Updated 4 months ago
- Workflow/State Machine Engine written in modern C++. Offers a comprehensive DSL (Domain Specific Language) for UML state machines. Comes …☆10Updated this week
- The laziest image loader for React.js☆16Updated 7 years ago
- IPC for Real-Time Robot Control☆62Updated 3 years ago
- A collection of interfaces and abstractions for embedded peripherals and devices using modern C++☆26Updated 2 weeks ago
- The Standard ROS JavaScript Library☆11Updated last year
- ☆20Updated 2 years ago
- The DDS Router is an application developed by eProsima that allows, using Fast DDS, to communicate by DDS protocol different networks. Lo…☆62Updated last month
- Implementation based on DDS-XTYPES standard (https://www.omg.org/spec/DDS-XTypes)☆21Updated last year
- Simple react wrapper around Tether from Hub Spot☆8Updated 7 years ago
- An Eclipse-based modeling framework for the component-based design and analysis of reactive systems☆31Updated this week
- HyperC Planning Database: all-in-one production rules and logistics engine for automatic planning☆9Updated 2 years ago