Thanks @ChrisRackauckas, it seems I’ve got quite a number of packages to check out
Oh, and this thread also appeared at the same time I wrote this:
https://discourse.julialang.org/t/julia-for-education-package-selection/
so I guess we can continue the discussion there, as well.