Baum-Welch example in PYMC3

The closest implementation in PyMC3 compare to Stan regarding HMM is How to marginalized Hidden Markov Model with categorical?. You can try to see if it fits your use case or not.