JPLOpenSource / SCALinks
JPL Statechart Autocoder Rev. 2
☆41Updated 8 years ago
Alternatives and similar repositories for SCA
Users that are interested in SCA are comparing it to the libraries listed below
Sorting:
- 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
- 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☆111Updated 7 months ago
- ☆24Updated last month
- Blech is a language for developing reactive, real-time critical embedded software.☆68Updated 2 years ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- A C++ framework base on David Harel's statecharts (SCXML).☆16Updated 4 years ago
- A graphical user interface for editing SCXML finite state machines.☆113Updated 5 years ago
- cbor.io web site☆81Updated 8 months ago
- A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram☆34Updated this week
- The Data Modelling Tools of the European Space Agency's TASTE toolchain☆17Updated 4 years ago
- C++ StateChart Library☆121Updated 5 years ago
- Backtrace.io's resilient log record framing format☆40Updated 3 years ago
- AXCIOMA, the component framework for distributed, real-time, and embedded systems☆18Updated last week
- ☆24Updated 4 years ago
- A CRDT-based collaborative editor engine of letters.yandex.ru (2012, historical)☆68Updated 3 years ago
- A protocol on top of CBOR that provides protobuf-like functionality☆54Updated 7 years ago
- Performance tests for Automerge☆42Updated 11 months ago
- Hyperapp demo, including an xstate variant☆12Updated 2 years ago
- Reactive Extensions Adapters for RTI Connext DDS.☆23Updated 9 years ago
- Eclipse Layout Kernel - Test models☆19Updated last year
- YAKINDU Statechart Tools (http://www.statecharts.org)☆183Updated 4 years ago
- yet another scalar autograd engine - featuring complex numbers and fixed DAG☆26Updated last year
- JavaScript MVVM library with support for multi-way dependencies and generic, rich UI behaviors.☆59Updated 3 years ago
- A JavaScript State Chart interpreter that fully implements the W3C's upcoming SCXML recommendation☆54Updated 7 years ago
- Responsive, animated figures in JavaScript/HTML canvases☆135Updated 4 months ago
- Generate sql query from a concise query syntax inspired from EdgeDB and GraphQL☆27Updated last year
- Proof-of-concept for a memory-efficient data structure for zooming billion-event traces☆70Updated 4 years ago
- lbuild: a generic, modular code generator in Python 3☆41Updated last year
- ☆27Updated 7 years ago