Skip to content

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

12 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Determa

Determa is a family of tools for defining and running well-specified, verifiable behavior. This repository holds the umbrella launcher — the determa command — and the family landing page.

The launcher

determa is a thin, git-style dispatcher: determa <product> … finds and runs the determa-<product> command on your PATH.

determa state run machine.yaml   # → determa-state run machine.yaml
determa list                     # installed products
determa --version

It is language-agnostic — it dispatches to whichever determa-state you installed (the Python or the Rust build). Install the launcher in whichever ecosystem you like; each one provides the same determa command:

ecosystem install source
Python pip install determa — or pip install "determa[all]" for the launcher plus the family python/
Rust cargo install determa rust/
npm npm install -g determa node/

The family

product what it is repositories
Determa State a language-agnostic statechart engine (Harel/UML lineage) spec · conformance · python · rust

Future products slot in under the same determa <product> dispatch — no launcher change needed, they just have to be on PATH as determa-<product>.

License

MIT — see LICENSE.

About

Determa — umbrella launcher for the Determa family (determa-state, …). git-style dispatch: 'determa state …' runs determa-state.

Resources

Stars

0 stars

Watchers

0 watching

Forks

Releases

Packages

Contributors

Languages