JPLOpenSource / SCALinks
JPL Statechart Autocoder Rev. 2
☆41Updated 9 years ago
Alternatives and similar repositories for SCA
Users that are interested in SCA are comparing it to the libraries listed below
Sorting:
- SCXML interpreter and transformer/compiler written in C/C++ with bindings to Java, C#, Python and Lua☆112Updated 10 months ago
- C++ State Machine generator for Xstate☆56Updated 4 years ago
- A python framework base on David Harel's statecharts (SCXML).☆16Updated 4 years ago
- Hyperapp demo, including an xstate variant☆12Updated 2 years ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram☆35Updated this week
- Blech is a language for developing reactive, real-time critical embedded software.☆71Updated 3 years ago
- Blech is a language for developing reactive, real-time critical embedded software.☆69Updated 2 years ago
- cbor.io web site☆81Updated 11 months ago
- A protocol on top of CBOR that provides protobuf-like functionality☆54Updated 7 years ago
- Backtrace.io's resilient log record framing format☆40Updated 3 years ago
- Reactive Extensions Adapters for RTI Connext DDS.☆23Updated 10 years ago
- A framework for implementing hierarchical finite state machines (HSMs) in C code. It's a good fit for firmware projects, and helps keep y…☆39Updated 3 years ago
- Performance tests for Automerge☆42Updated last year
- A CRDT-based collaborative editor engine of letters.yandex.ru (2012, historical)☆69Updated 4 years ago
- AXCIOMA, the component framework for distributed, real-time, and embedded systems☆18Updated last week
- A C++ framework base on David Harel's statecharts (SCXML).☆17Updated last week
- ☆24Updated 5 years ago
- Synthesize CRDTs from classic data types with verified lifting!☆149Updated last year
- Distributed Flow-Based Programming via message queues☆142Updated 4 years ago
- C++ StateChart Library☆121Updated 6 years ago
- Minimal, Akka-styled actor system for TypeScript☆20Updated 3 weeks ago
- A SQLite extension for extracting values from serialized Protobuf messages☆90Updated 5 months ago
- Use the *Discussions* of this repository to discuss statecharts in general.☆87Updated 4 years ago
- SVG viewer in SVG☆17Updated 7 months ago
- JavaScript MVVM library with support for multi-way dependencies and generic, rich UI behaviors.☆59Updated 3 years ago
- lbuild: a generic, modular code generator in Python 3☆41Updated 2 years ago
- Web interface for Cayley☆25Updated 2 years ago
- Core package for Yellicode - an extensible code generator.☆12Updated last year
- Generate sql query from a concise query syntax inspired from EdgeDB and GraphQL☆27Updated last year