seantalts

Check sizes/bounds symbolically at compile-time

2

I think we should be able to do some neat bounds checking even though we often only know the sizes of various containers in terms of variables. For example, we...

Represent distributions in MIR, refactor backend

1

The backend is getting pretty complicated and in many places we're still relying on function name string suffices to determine things like which arguments need to be passed to which,...

Compile math library ahead-of-time and create a Stan interpreter

3

(I'm going to try to start writing up issues for some of the ideas I have recorded over the past year or so for amazing things we can do with...

Tool to generate model diagram

1

It would be nice to be able to generate a plate or graph diagram of a Stan model, assuming the model specified is equivalent to a DAG. Some discussion here:...