Dr. Kurz wrote a really great companion that uses brms, a fantastic wrapper that makes stan easier to pickup. I highly recommend it. https://bookdown.org/ajkurz/Statistical_Rethinking_recoded/