plexil-group / plexilLinks
☆24Updated 2 weeks 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 last month
- A python framework base on David Harel's statecharts (SCXML).☆16Updated 4 years ago
- SCXML interpreter and transformer/compiler written in C/C++ with bindings to Java, C#, Python and Lua☆112Updated 9 months ago
- An Eclipse-based modeling framework for the component-based design and analysis of reactive systems☆33Updated last week
- Model Driven Engineering for C++ (MDE4CPP)☆12Updated last month
- 🗺️ ASP planning tools for PDDL☆29Updated 4 years ago
- A framework for the elicitation, specification, formalization and analysis of requirements.☆380Updated 4 months ago
- Core package for Yellicode - an extensible code generator.☆12Updated 10 months ago
- PDDL+ planning through compilation to SMT☆47Updated 2 years ago
- Generate C++ or Python3 code from JSON-Schema☆44Updated 2 years ago
- Reactive Extensions Adapters for RTI Connext DDS.☆23Updated 10 years ago
- Web-based Generic Modeling Environment☆166Updated 9 months ago
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 5 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…☆25Updated last month
- Repository that lets you run an automated planner as a service on heroku.☆26Updated 2 months ago
- Zenoh Flow examples☆17Updated 2 years ago
- C++ StateChart Library☆121Updated 5 years ago
- [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…☆54Updated last month
- A Python-based interpreter for the agent-oriented programming language JASON☆54Updated last year
- The SNePS 2 Knowledge Representation and Reasoning System☆12Updated 7 years ago
- C++ library for incremental computing☆23Updated 3 years ago
- RTEC is an Event Calculus implementation optimised for stream reasoning☆99Updated last week
- STPA Viewpoint for Capella☆24Updated 4 months ago
- Exports an OnShape assembly to a URDF file with STL meshes☆17Updated 11 months ago
- Automated Programming Framework☆15Updated 5 years ago
- Soar Agent (and SML code) that learns through situated interactive instruction in a robotic environment☆34Updated 2 years ago
- SCOTT – Secure Connected Trustable Things☆20Updated 4 years ago
- warped simulation kernel (replacement of old system, beginning with version 5.0)☆16Updated last year
- ☆225Updated 2 years ago