Search Packages

mechanism

A visual tool to aid engineers with the design process for mechanisms, cams, and gears.

gds-stockflow

Generalized Dynamical Systems — typed compositional specifications for complex systems

gds-games

Typed DSL for Compositional Game Theory — define, verify, and report on open game patterns

gds-owl

Generalized Dynamical Systems — typed compositional specifications for complex systems

gds-psuu

Generalized Dynamical Systems — typed compositional specifications for complex systems

gds-framework

Generalized Dynamical Systems — typed compositional specifications for complex systems

gds-business

Generalized Dynamical Systems — typed compositional specifications for complex systems

gds-analysis

Generalized Dynamical Systems — typed compositional specifications for complex systems

gds-software

Generalized Dynamical Systems — typed compositional specifications for complex systems

gds-control

Generalized Dynamical Systems — typed compositional specifications for complex systems

gds-symbolic

Generalized Dynamical Systems — typed compositional specifications for complex systems

gds-examples

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

gds-viz

Mermaid diagram renderers for gds-framework specifications

gds-domains

Generalized Dynamical Systems — typed compositional specifications for complex systems

gds-interchange

Generalized Dynamical Systems — typed compositional specifications for complex systems

kinematic-constraint

Solver for rigid body degrees of freedom with the theory of kinematic constraint (aka exact constraint).

gds-continuous

Continuous-time ODE integration engine for the GDS ecosystem

gds-core

GDS ecosystem monorepo — typed compositional specifications for complex systems

gds-sim

High-performance simulation engine for the GDS ecosystem