Compositional Systems Python Packages

gds-games

Generalized Dynamical Systems — typed compositional specifications for complex systems

gds-stockflow

Declarative stock-flow DSL over GDS semantics — system dynamics with formal guarantees

gds-framework

Generalized Dynamical Systems — typed compositional specifications for complex systems

gds-psuu

Parameter space search under uncertainty for the GDS ecosystem

gds-analysis

Dynamical analysis for GDS specifications — bridges gds-framework to gds-sim

gds-examples

Tutorial examples for gds-framework — six complete domain models demonstrating every framework feature

gds-business

Business dynamics DSL over GDS semantics — causal loop diagrams, supply chain networks, and value stream maps with formal verification

gds-owl

OWL/Turtle, SHACL, and SPARQL for gds-framework specifications

gds-software

Software architecture DSL over GDS semantics — DFDs, state machines, components, C4, ERDs, and dependency graphs with formal verification

gds-viz

Mermaid diagram renderers for gds-framework specifications

gds-control

State-space control DSL over GDS semantics — control theory with formal guarantees

gds-symbolic

Symbolic math bridge for the GDS ecosystem — SymPy to ODE compilation

gds-domains

Domain DSLs for the GDS ecosystem — stockflow, control, business, software, games, symbolic

gds-interchange

Bidirectional format bridges (OWL/RDF, SysML, FMI) for gds-framework specifications

gds-sim

High-performance simulation engine for the GDS ecosystem

gds-core

GDS ecosystem monorepo — typed compositional specifications for complex systems

gds-continuous

Continuous-time ODE integration engine for the GDS ecosystem