An acausal modeling framework for automatically parallelized scientific machine learning (SciML) in Julia. A computer algebra system for integrated symbolics for physics-informed machine learning and automated transformations of differential equations
Use-case: nonlinear model predictive control (MPC)
MTK used to have this a while ago.