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:
- ☆24Updated 3 months ago
- A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram☆35Updated 3 weeks ago
- SCXML interpreter and transformer/compiler written in C/C++ with bindings to Java, C#, Python and Lua☆112Updated last year
- A python framework base on David Harel's statecharts (SCXML).☆16Updated last month
- Reactive Extensions Adapters for RTI Connext DDS.☆23Updated 10 years ago
- A minimal implementation of Statecharts in portable, embeddable JavaScript. Development moved to gitlab: https://gitlab.com/scion-scxml/c…☆35Updated 7 years ago
- YAKINDU Statechart Tools (http://www.statecharts.org)☆186Updated 5 years ago
- cbor.io web site☆82Updated last year
- The Data Modelling Tools of the European Space Agency's TASTE toolchain☆17Updated 4 years ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- C++ StateChart Library☆121Updated 6 years ago
- A JavaScript State Chart interpreter that fully implements the W3C's upcoming SCXML recommendation☆54Updated 7 years ago
- AXCIOMA, the component framework for distributed, real-time, and embedded systems☆18Updated this week
- Responsive, animated figures in JavaScript/HTML canvases☆138Updated last month
- Performance tests for Automerge☆44Updated last year
- A collection of interfaces and abstractions for embedded peripherals and devices using modern C++☆43Updated this week
- JavaScript MVVM library with support for multi-way dependencies and generic, rich UI behaviors.☆59Updated 4 years ago
- Synthesize CRDTs from classic data types with verified lifting!☆150Updated last year
- A CRDT-based collaborative editor engine of letters.yandex.ru (2012, historical)☆69Updated 4 years ago
- Minimal, Akka-styled actor system for TypeScript☆20Updated 2 weeks ago
- A C++ framework base on David Harel's statecharts (SCXML).☆17Updated last month
- Backtrace.io's resilient log record framing format☆40Updated 4 years ago
- Specification of the Trace Server Protocol (TSP)☆26Updated 3 months ago
- ☆24Updated 5 years ago
- An example of C++ Sudoku solver using MiniSat library.☆29Updated 4 years ago
- State machine framework for reactive embedded systems☆59Updated 2 months ago
- A Unikernel running WebAssembly code☆52Updated 2 years ago
- A SQLite extension for extracting values from serialized Protobuf messages☆91Updated 7 months ago
- lbuild: a generic, modular code generator in Python 3☆42Updated 2 years ago
- Hyperapp demo, including an xstate variant☆12Updated 3 years ago