stan

parameters block

Not specifying a prior leads to an implicit (improper) uniform prior on non-negative real numbers.

model block

target += normal_lpdf(y | mu, sigma);

is equivalent to

y ~ normal(mu, sigma);