Both of those would be interesting compiler projects for sure.
I remember a few discussions with @rybern over the years where we mentioned how useful it would be to give the Stan compiler the data to specialize the code gen for. This was never seriously pursued in part because re-compiling after changing the data just seemed like too big a hurdle
Oh sure! I didn’t mean that the project idea would be obsolete, but rather there’s a hypothetical future where stanli as a package itself would be, because upstream Stan ends up supporting the same usecases
You might find Stan Playground interesting. It’s been reasonably successful in the classroom environment, but it does still rely on a central server somewhere to actually compile the Stan models to WASM. A version based on these ideas would be able to avoid that (and generally be a quicker edit/run loop)