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:
- A framework for implementing hierarchical finite state machines (HSMs) in C code. It's a good fit for firmware projects, and helps keep y…☆36Updated 2 years ago
- A python framework base on David Harel's statecharts (SCXML).☆16Updated 3 years ago
- cbor.io web site☆79Updated 6 months ago
- lbuild: a generic, modular code generator in Python 3☆38Updated last year
- The Data Modelling Tools of the European Space Agency's TASTE toolchain☆18Updated 3 years ago
- ☆23Updated this week
- Blech is a language for developing reactive, real-time critical embedded software.☆68Updated 2 years ago
- A WebAssembly port of the SANE API.☆81Updated 2 weeks ago
- JavaScript MVVM library with support for multi-way dependencies and generic, rich UI behaviors.☆59Updated 3 years ago
- A collection of interfaces and abstractions for embedded peripherals and devices using modern C++☆33Updated last week
- A CRDT-based collaborative editor engine of letters.yandex.ru (2012, historical)☆67Updated 3 years ago
- Minimal, Akka-styled actor system for TypeScript☆18Updated 11 months ago
- YAKINDU Statechart Tools (http://www.statecharts.org)☆182Updated 4 years ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- Backtrace.io's resilient log record framing format☆38Updated 3 years ago
- A minimal implementation of Statecharts in portable, embeddable JavaScript. Development moved to gitlab: https://gitlab.com/scion-scxml/c…☆35Updated 6 years ago
- Generate sql query from a concise query syntax inspired from EdgeDB and GraphQL☆26Updated last year
- Web interface for Cayley☆25Updated 2 years ago
- yet another scalar autograd engine - featuring complex numbers and fixed DAG☆26Updated last year
- RON2.1 C++ implementation☆47Updated 6 years ago
- Versatile and fast remote procedure call library.☆63Updated this week
- Synthesize CRDTs from classic data types with verified lifting!☆148Updated last year
- Performance tests for Automerge☆40Updated 9 months ago
- SCXML/Statecharts in JavaScript, moved to gitlab: https://gitlab.com/scion-scxml/scion☆150Updated 6 years ago
- A binary JSON serialization format based on JSON Schema 2020-12 with a strong focus on space-efficiency☆154Updated 3 weeks ago
- A library to create, minimize and optimize binary decision diagrams https://github.com/pubkey/binary-decision-diagram☆34Updated this week
- FOAM: Feature-Oriented Active Modeller, Version 2☆76Updated last year
- Hyperapp demo, including an xstate variant☆12Updated 2 years ago
- Frame is a markdown language for creating state machines (automata) in Python as well as generating UML documentation.☆67Updated 5 months ago
- main firmware repository, including official, branded module firmware☆13Updated last year