Skip to content

GDS Ecosystem

ogs

Initializing search

BlockScience/gds-core

GDS Ecosystem

BlockScience/gds-core

Home
Framework
Framework
- Overview
- Getting Started
  Getting Started
  - Installation
  - Quick Start
- User Guide
  User Guide
- Design
  Design
  - GDS Deep Dive
  - v0.2 Design
  - Proposals
    Proposals
    
    Entity Redesign
- API Reference
  API Reference
  - gds
  - gds.blocks
  - gds.types
  - gds.state
  - gds.spaces
  - gds.spec
  - gds.canonical
  - gds.compiler
  - gds.ir
  - gds.verification
  - gds.query
  - gds.parameters
  - gds.serialize
Visualization
Visualization
- Overview
- Getting Started
- User Guide
  User Guide
  - Views
  - Theming
- API Reference
  API Reference
Games
Games
- Overview
- Getting Started
- User Guide
  User Guide
- Design
  Design
  - Architecture Overview
- API Reference
  API Reference
  - ogs ogs
    Table of contents
    
    ogs
  - ogs.dsl.types
  - ogs.dsl.base
  - ogs.dsl.games
  - ogs.dsl.composition
  - ogs.dsl.pattern
  - ogs.dsl.compile
  - ogs.dsl.library
  - ogs.ir
  - ogs.verification
  - ogs.viz
  - ogs.reports
  - ogs.cli
Examples
Examples
- Overview
- Learning Path
- Models
  Models
- Building Models
- Feature Matrix
Guides
Guides
- Layer 0 Milestone
- DSL Roadmap
Ecosystem

Table of contents

ogs

ogs¶

Public API — top-level exports.

Open Games — Typed DSL for Compositional Game Theory.

Made with Material for MkDocs