Image-to-Image Translation in PyTorch
LTL to deterministic Rabin automata translator based on LTL3BA
Creates and operates a stepped state machine
OpenCV library wrapper for Lua language
Python script that produces a tight pdf from gnuplot with psfrag text.
UML 2 Statemachine for C++ is a development framework with DSL support