18 projects
gds-psuu
Parameter space search under uncertainty for the GDS ecosystem
gds-owl
OWL/Turtle, SHACL, and SPARQL for gds-framework specifications
gds-symbolic
Symbolic math bridge for the GDS ecosystem — SymPy to ODE compilation
gds-games
Typed DSL for Compositional Game Theory — define, verify, and report on open game patterns
gds-software
Software architecture DSL over GDS semantics — DFDs, state machines, components, C4, ERDs, and dependency graphs with formal verification
gds-business
Business dynamics DSL over GDS semantics — causal loop diagrams, supply chain networks, and value stream maps with formal verification
gds-control
State-space control DSL over GDS semantics — control theory with formal guarantees
gds-stockflow
Declarative stock-flow DSL over GDS semantics — system dynamics with formal guarantees
gds-analysis
Dynamical analysis for GDS specifications — bridges gds-framework to gds-sim
gds-interchange
Bidirectional format bridges (OWL/RDF, SysML, FMI) for gds-framework specifications
gds-domains
Domain DSLs for the GDS ecosystem — stockflow, control, business, software, games, symbolic
gds-framework
Generalized Dynamical Systems — typed compositional specifications for complex systems
gds-continuous
Continuous-time ODE integration engine for the GDS ecosystem
gds-sim
High-performance simulation engine for the GDS ecosystem
gds-core
GDS ecosystem monorepo — typed compositional specifications for complex systems
gds-viz
Mermaid diagram renderers for gds-framework specifications
gds-examples
Tutorial examples for gds-framework — six complete domain models demonstrating every framework feature