Skip to content

GDS Ecosystem

The GDS ecosystem is a family of composable packages for specifying, visualizing, and analyzing complex systems.

Packages

Package Description Docs PyPI
gds-framework Foundation — typed compositional specifications Docs PyPI
gds-viz Mermaid diagram renderers for GDS specifications Docs PyPI
gds-games Typed DSL for compositional game theory Docs PyPI
gds-examples Six tutorial models demonstrating every framework feature Docs PyPI

Dependency Graph

graph TD
    F[gds-framework] --> V[gds-viz]
    F --> G[gds-games]
    F --> E[gds-examples]
    V --> E

Architecture

gds-framework (foundation)
│
│  Domain-neutral composition algebra, typed spaces,
│  state model, verification engine, flat IR compiler.
│
├── gds-viz (visualization)
│   └── 6 Mermaid diagram views of GDS specifications
│
├── gds-games (game theory DSL)
│   └── Open games, pattern composition, verification, reports, CLI
│
└── gds-examples (tutorials)
    └── 6 complete domain models with tests and visualizations