A statically typed language for systems that evolve through time. Build native programs with dynamics, control, and autodiff.