A bit offtopic, but the choice of name is unfortunate. There is a project since 2012 that uses that name.
That Stan is AFAIK the most mature and ‘production-grade’ probabilistic programming language and general-purpose Bayesian modeling framework. (PyMC 3 is another contender… most of the rest are academic toys.) So, yeah, it’s a not a great name to be shadowed by.