abstraction automata control-systems feedback-systems hybrid-systems python specification state-machine synthesis temporal-logic verification

abstraction c-plus-plus high-performance-computing hpsf kokkos parallel-computing programming-model

abstraction automation forecasting infectious-disease-modeling infrastructure

abstraction autograd deep-learning gpu ivy jax machine-learning mxnet neural-network numpy python pytorch template tensorflow