@leostera/feynman

leostera
esm Styles
@leostera/feynman JS library homepage @leostera/feynman JS library on GitHub @leostera/feynman JS library on npm Download @leostera/feynman JS library

Executable specs of how a system behaves: a simulator, a model checker, flows and their diffs, derived from one TypeScript file.

Version 0.15.0
@leostera/feynman JS library homepage
@leostera/feynman JS library on GitHub
@leostera/feynman JS library on npm
Download @leostera/feynman JS library
Keywords
specificationmodel-checkingsimulationdistributed-systemspi-package