JPLOpenSource / SCALinks
JPL Statechart Autocoder Rev. 2
☆42Updated 8 years ago
Alternatives and similar repositories for SCA
Users that are interested in SCA are comparing it to the libraries listed below
Sorting:
- Blech is a language for developing reactive, real-time critical embedded software.☆72Updated 3 years ago
- A graphical user interface for editing SCXML finite state machines.☆110Updated 5 years ago
- A protocol on top of CBOR that provides protobuf-like functionality☆54Updated 7 years ago
- Performance tests for Automerge☆40Updated 10 months ago
- YAKINDU Statechart Tools (http://www.statecharts.org)☆182Updated 4 years ago
- A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram☆34Updated last week
- Backtrace.io's resilient log record framing format☆38Updated 3 years ago
- Blech is a language for developing reactive, real-time critical embedded software.☆68Updated 2 years ago
- ☆23Updated 2 weeks ago
- cbor.io web site☆80Updated 7 months ago
- Synthesize CRDTs from classic data types with verified lifting!☆148Updated last year
- lbuild: a generic, modular code generator in Python 3☆40Updated last year
- State machine framework for reactive embedded systems☆56Updated last week
- Hyperapp demo, including an xstate variant☆12Updated 2 years ago
- ☆77Updated 7 months ago
- A rust implementation of statecharts: hierarchical, reactive state machines☆57Updated 7 years ago
- Responsive, animated figures in JavaScript/HTML canvases☆134Updated 2 months ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- ☆24Updated 4 years ago
- A collection of interfaces and abstractions for embedded peripherals and devices using modern C++☆33Updated last month
- 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
- A CRDT-based collaborative editor engine of letters.yandex.ru (2012, historical)☆67Updated 3 years ago
- Web Assembly Interpreter for ESP32 family of micro controllers running the ESP-IDF development framework, based on the great work at kana…☆79Updated 5 years ago
- The Data Modelling Tools of the European Space Agency's TASTE toolchain☆18Updated 4 years ago
- JavaScript MVVM library with support for multi-way dependencies and generic, rich UI behaviors.☆59Updated 3 years ago
- FOAM: Feature-Oriented Active Modeller, Version 2☆76Updated last year
- Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms☆62Updated 4 years ago
- An implementation of system-versioned tables in Postgres using only triggers, with a time travelling todo app as a showcase.☆33Updated last year
- The canonical Replicache client, implemented in Rust.☆30Updated 3 years ago
- Core package for Yellicode - an extensible code generator.☆12Updated 8 months ago