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:
- ☆24Updated 2 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 graphical user interface for editing SCXML finite state machines.☆113Updated 5 years ago
- A JavaScript State Chart interpreter that fully implements the W3C's upcoming SCXML recommendation☆54Updated 7 years ago
- Hyperapp demo, including an xstate variant☆12Updated 2 years ago
- A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram☆35Updated last week
- YAKINDU Statechart Tools (http://www.statecharts.org)☆184Updated 4 years ago
- State machine framework for reactive embedded systems☆57Updated 2 months ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- Lighter-than-air, peer-to-peer, bounded, non-blocking, non-threaded, etc., publish-subscribe networking☆51Updated 4 years ago
- Blech is a language for developing reactive, real-time critical embedded software.☆68Updated 2 years ago
- WebR2sync+☆12Updated 8 years ago
- A C++ framework base on David Harel's statecharts (SCXML).☆16Updated 4 years ago
- Performance tests for Automerge☆42Updated last year
- A minimal implementation of Statecharts in portable, embeddable JavaScript. Development moved to gitlab: https://gitlab.com/scion-scxml/c…☆35Updated 7 years ago
- Synthesize CRDTs from classic data types with verified lifting!☆149Updated last year
- Backtrace.io's resilient log record framing format☆40Updated 3 years ago
- cbor.io web site☆81Updated 9 months ago
- A collection of interfaces and abstractions for embedded peripherals and devices using modern C++☆35Updated this week
- Minimal, Akka-styled actor system for TypeScript☆19Updated 3 weeks ago
- ☆24Updated 5 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
- Visualization of xstate statecharts using plantuml☆18Updated 7 years ago
- lbuild: a generic, modular code generator in Python 3☆41Updated last year
- Responsive, animated figures in JavaScript/HTML canvases☆135Updated this week
- Web interface for Cayley☆25Updated 2 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
- calculang is a language for calculations 🧮💬👩💻☆57Updated last month
- Eclipse Layout Kernel - Test models☆19Updated last year