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 2 weeks ago
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 4 years ago
- C++ grammar for the Lezer parser system☆20Updated 8 months ago
- Workflow management system fully supporting low-code language Petriflow.☆24Updated this week
- Remake, a build system that bridges the gap between make and redo☆29Updated 3 months ago
- A tiny thin client for multiplayer games☆19Updated 11 years ago
- An easy-to-use object-oriented system for the C programming language☆13Updated 7 years ago
- Rabin fingerprinting implemented in WASM☆28Updated 3 years ago
- Indexed Allocator C++ lib☆12Updated 6 years ago
- A playground repository for transpiling TypeScript to c++11☆10Updated 7 years ago
- ☆17Updated 5 years ago
- Cross-platform headers-only C++11 framework for streaming data packets through a graph of data-transforming nodes☆16Updated 10 years ago
- View finite state machines using fsm-as-promised library as UML diagrams in VSCode☆27Updated 2 years ago
- zero-copy, zero-serialize, zero-hassle protocol buffers☆69Updated 8 years ago
- A simple library for modelling and executing Petri Nets☆15Updated 10 years ago
- SCXML interpreter and transformer/compiler written in C/C++ with bindings to Java, C#, Python and Lua☆112Updated 9 months ago
- C++ library for incremental computing☆23Updated 3 years ago
- HIPHOP (Handy Image Processing for Highly Over-caffeinated Programmers), a domain specific language for image processing.☆14Updated 4 years ago
- Socially isolating through obsessive micro-optimization.☆13Updated 3 years ago
- RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of …☆25Updated last month
- A Typed Hierarchical State Machine Framework in C++☆47Updated 10 months ago
- This is database which is created by zeel sheladiya , mihir surati and parth dabheliya. this database is very portable , user friendly an…☆19Updated 2 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 5 years ago
- A simple in-memory graph database (wrapper for python-igraph)☆11Updated 6 years ago
- A compile-time header-only C++17 library for dataflow programing.☆28Updated last year
- C++ StateChart Library☆121Updated 5 years ago
- Visual programming language: SKetches of Abstract Syntax Trees. I. C.☆10Updated 3 years ago
- Fulib is a library that provides code generation for UML like models and some model management functionalities.☆15Updated 2 weeks ago
- The reactive library for the spreadsheet driven development☆34Updated 2 years ago
- An algorithm for fast 2D pattern-matching with wildcards.☆20Updated 3 years ago
- ☆35Updated 2 years ago