Most all probabilistic programming languages in fact treat every model as equivalent to an HMM. So certainly inference on them can be done.