My master thesis about time-travelling state machines for verifiable BPM.
-
Updated
Nov 29, 2022 - TeX
My master thesis about time-travelling state machines for verifiable BPM.
A Rust implementation of Quantum Leaps' QP (Quantum Platform) Real-Time Embedded Frameworks (RTEFs).
My Freshman & Junior year CS223, digital design, labs
Use of State Machines to create a "World" with factions of Tanks with some degree of intelligence.
Simple spectral learning for weighted automata
A Fluent finite state machine which provides an easy to configure and use state mahine base class
An example HSM implemented using Quantum Leaps' QP/C++ (qpcpp) framework.
file system events
Module to make the creation of AWS state machines with terraform easier
A modeling and code generation framework for dynamic systems
Experimental programming language where programs are state machines expressed in arrow notation
An experimental DAW for composing music with physical models of instruments
Fast and carefree Typescript state machine.
Implementing a state machine using Spring Integration framework
The solution done by me in C# on the challenge "A Simplistic TCP Finite State Machine (FSM)" over at www.codewars.com
Godot State Machines vs. State Charts
LightBT: A Lightweight Implementation of Behaviour Tree for Common Tasks
A Zig implementation of Quantum Leaps' QP (Quantum Platform) Real-Time Embedded Frameworks (RTEFs).
This repository is going to be the practical sample collection of P#.
Custom notation and engine for state machine construction and per-iteration processing. Never write Game logic spaghetti again!
Add a description, image, and links to the state-machines topic page so that developers can more easily learn about it.
To associate your repository with the state-machines topic, visit your repo's landing page and select "manage topics."