Darts: Python lib for forecasting and anomaly detection on time series
A python library for user-friendly forecasting and anomaly detection on time series. - unit8co/darts... (more…)
Read more »AbstractWe present a small-step operational semantics for the Python
programming language. We present both a core language for Python,
suitable for tools and proofs, and a translation process for
converting Python source to this core. We have tested the… Read more