I assume these are models with finite state spaces? FYI I uploaded a Kalman filter https://github.com/idontgetoutmuch/Kalman which is also a HMM. I feel we should be able to abstract over the Markov transition kernel to describe the model without caring whether the state space is continuous or discrete but that it is about as much thinking I have done on the subject.