cepsdev / machines4cepsLinks
A tool for executable specifications written in modern, portable C++. Offers a comprehensive extendable DSL (Domain Specific Language) for specifying software with built-in support for UML state machines (and more). Comes with a runtime to run, trace and visualize your (state) machines.
☆12Updated this week
Alternatives and similar repositories for machines4ceps
Users that are interested in machines4ceps are comparing it to the libraries listed below
Sorting:
- A C++ framework base on David Harel's statecharts (SCXML).☆16Updated 3 years ago
- Model Driven Engineering for C++ (MDE4CPP)☆12Updated this week
- The 10 millionth JavaScript Scheme interpreter.☆15Updated 5 years ago
- Workflow management system fully supporting low-code language Petriflow.☆24Updated last week
- C++ grammar for the Lezer parser system☆20Updated 5 months ago
- Socially isolating through obsessive micro-optimization.☆13Updated 3 years ago
- Next-generation end-to-end low code language based on Petri nets.☆17Updated 5 months ago
- Remake, a build system that bridges the gap between make and redo☆29Updated last month
- C++ library for incremental computing☆23Updated 2 years ago
- A tiny thin client for multiplayer games☆19Updated 11 years ago
- Minimal pub/sub message queue in C.☆22Updated 10 years ago
- The reactive library for the spreadsheet driven development☆34Updated last year
- Indexed Allocator C++ lib☆12Updated 5 years ago
- ☆53Updated 4 years ago
- A simple in-memory graph database (wrapper for python-igraph)☆11Updated 6 years ago
- Cross-platform headers-only C++11 framework for streaming data packets through a graph of data-transforming nodes☆16Updated 10 years ago
- unrolled skip list library for C☆21Updated 6 years ago
- SCXML interpreter and transformer/compiler written in C/C++ with bindings to Java, C#, Python and Lua☆111Updated 7 months ago
- ☆36Updated 2 years ago
- RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of …☆24Updated last month
- A Typed Hierarchical State Machine Framework in C++☆47Updated 7 months ago
- C++ StateChart Library☆120Updated 5 years ago
- Basic linear algebra for small matrices in C☆12Updated 9 months ago
- A simple library for modelling and executing Petri Nets☆15Updated 10 years ago
- Distributed Lisp interpreter in Erlang.☆11Updated 8 years ago
- A datalog implementation in pure Lua (LPEG parser).☆22Updated 2 years ago
- HIPHOP (Handy Image Processing for Highly Over-caffeinated Programmers), a domain specific language for image processing.☆14Updated 4 years ago
- Tool for parsing C/C++ code and generating output using a given Jinja-like template☆18Updated this week
- 🕸️ Glue C++ to your browser! Universal bindings for JavaScript/Wasm using Glue and Embind.☆21Updated last year
- [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…☆55Updated this week