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 last month
- A python framework base on David Harel's statecharts (SCXML).☆16Updated 3 years ago
- Hyperapp demo, including an xstate variant☆12Updated 2 years ago
- Blech is a language for developing reactive, real-time critical embedded software.☆68Updated 2 years ago
- YAKINDU Statechart Tools (http://www.statecharts.org)☆183Updated 4 years ago
- Performance tests for Automerge☆41Updated 11 months ago
- A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram☆34Updated last week
- A CRDT-based collaborative editor engine of letters.yandex.ru (2012, historical)☆67Updated 3 years ago
- A JavaScript State Chart interpreter that fully implements the W3C's upcoming SCXML recommendation☆54Updated 7 years ago
- SCXML/Statecharts in JavaScript, moved to gitlab: https://gitlab.com/scion-scxml/scion☆150Updated 6 years ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- A graphical user interface for editing SCXML finite state machines.☆113Updated 5 years ago
- State machine framework for reactive embedded systems☆57Updated last month
- Generate sql query from a concise query syntax inspired from EdgeDB and GraphQL☆27Updated last year
- Responsive, animated figures in JavaScript/HTML canvases☆135Updated 3 months ago
- ☆24Updated 4 years ago
- Specification of the Trace Server Protocol (TSP)☆26Updated this week
- pgpkg is a small, fast CLI tool and Go library that enables seamless integration of PostgreSQL functions into native code workflows. It i…☆24Updated 2 months ago
- Core package for Yellicode - an extensible code generator.☆12Updated 8 months ago
- A lightweight WAMR backend for Extism☆18Updated last year
- Synthesize CRDTs from classic data types with verified lifting!☆148Updated last year
- A minimal implementation of Statecharts in portable, embeddable JavaScript. Development moved to gitlab: https://gitlab.com/scion-scxml/c…☆35Updated 6 years ago
- A Unikernel running WebAssembly code☆50Updated 2 years ago
- A binary JSON serialization format based on JSON Schema 2020-12 with a strong focus on space-efficiency☆161Updated last week
- A simple hierarchical state machine compiler that generates C.☆120Updated 4 years ago
- A collection of interfaces and abstractions for embedded peripherals and devices using modern C++☆34Updated this week
- Minimal, Akka-styled actor system for TypeScript☆18Updated last month
- The Data Modelling Tools of the European Space Agency's TASTE toolchain☆17Updated 4 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
- MaybeSQL in SQLite: Best of both worlds☆12Updated 3 weeks ago