Core Concepts
Asgard is built around a unified framework for representing and executing dynamical systems. At its core are three interconnected concepts: equations, circuits, and runtime.
Philosophy
Asgard is built around three core principles:
-
Mathematical rigor, computational efficiency. Systems are defined with precise mathematical notation, then compiled to efficient executable circuits.
-
Same circuit, different calculi. The same computational circuit can be interpreted under deterministic, stochastic, or discrete calculi without rewriting code.
-
Composable and algebraic. Circuits are built from simple operations using category-theoretic composition, enabling formal reasoning and transformation.
Building Blocks
Equations
Define dynamical systems using LEAN-style mathematical notation. Express differential equations, integrals, and algebraic relations.
Circuits
Computational networks that transform streams. Build complex systems from atomic operations using composition and monoidal products.
Runtime
Execute circuits with different mathematical interpretations. Choose between deterministic, stochastic, and discrete calculi.