Software architecture DSL over GDS semantics — DFDs, state machines, component diagrams, C4 models, ERDs, and dependency graphs with formal verification.
Part of the GDS ecosystem.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
Software architecture DSL over GDS semantics — DFDs, state machines, component diagrams, C4 models, ERDs, and dependency graphs with formal verification.
Part of the GDS ecosystem.