As currymj says, the differential equations (same for all the linear algebra solvers like eigendecomposition) can be used in defining likelihoods for either Bayesian or frequentist estimation. Same for all of our linear algebra operations and special functions.
Not every model that can be programmed in Stan has a well-defined MLE or proper posterior. Standard hierarchical/multilevel models don't have MLEs, even with standard shrinkage. Bayesian models with improper priors and no data wind up with improper posteriors, etc.
Having said all that, almost all of the use of Stan is for Bayesian inference.
https://benchmarks.sciml.ai/html/ParameterEstimation/DiffEqB...
https://benchmarks.sciml.ai/html/ParameterEstimation/DiffEqB...
likewise as far as I know, linear regression and mixture models are both done in a Bayesian style (a hierarchical model giving priors for parameters).
Here is an example from a class taught last January that uses stan to fit a simple ODE (using the `integrate_ode_rk45` function in stan):
https://github.com/gregbritten/BayesianEcosystems_IAP/blob/m...