Discrete Extended Kalman Filter on Lie Groups SE2 and SO2 - View it on GitHub