fwiw, julia's package manager is interesting - it's a wrapper around git. i don't know the details, but it seems to work well and allows you to have both "stan

fwiw, julia's package manager is interesting - it's a wrapper around git. i don't know the details, but it seems to work well and allows you to have both "standard" and "in development" packages.