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 2 weeks ago
- SCXML interpreter and transformer/compiler written in C/C++ with bindings to Java, C#, Python and Lua☆112Updated 9 months 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
- A python framework base on David Harel's statecharts (SCXML).☆16Updated 4 years ago
- Reactive Extensions Adapters for RTI Connext DDS.☆23Updated 10 years ago
- C++ StateChart Library☆121Updated 5 years ago
- Blech is a language for developing reactive, real-time critical embedded software.☆71Updated 3 years ago
- YAKINDU Statechart Tools (http://www.statecharts.org)☆184Updated 4 years ago
- 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
- The Data Modelling Tools of the European Space Agency's TASTE toolchain☆17Updated 4 years ago
- A CRDT-based collaborative editor engine of letters.yandex.ru (2012, historical)☆68Updated 3 years ago
- Backtrace.io's resilient log record framing format☆40Updated 3 years ago
- A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram☆35Updated this week
- WebR2sync+☆12Updated 8 years ago
- AXCIOMA, the component framework for distributed, real-time, and embedded systems☆18Updated last month
- Core package for Yellicode - an extensible code generator.☆12Updated 10 months ago
- The canonical Replicache client, implemented in Rust.☆30Updated 4 years ago
- ☆53Updated 10 months ago
- Workspace for Espressif SoC development on Zephyr☆15Updated 9 months ago
- Generate sql query from a concise query syntax inspired from EdgeDB and GraphQL☆27Updated last year
- A Unikernel running WebAssembly code☆51Updated 2 years ago
- Performance tests for Automerge☆42Updated last year
- Responsive, animated figures in JavaScript/HTML canvases☆135Updated 3 weeks ago
- A WebAssembly port of the SANE API.☆80Updated 4 months ago
- yet another scalar autograd engine - featuring complex numbers and fixed DAG☆26Updated last year
- A framework for the elicitation, specification, formalization and analysis of requirements.☆380Updated 4 months ago
- A C++ framework base on David Harel's statecharts (SCXML).☆16Updated 4 years ago
- ☆24Updated 5 years ago
- lbuild: a generic, modular code generator in Python 3☆41Updated last year