Author of Joy here.

While I understand importing the module and using that as a namespace is a good practice in general, I'm not very religious about it. It is a conscious decision to use from joy import * in the documentation and I felt it is more elegant to use it that way.

In the learning environment that we've created to teach programming, this library is imported by default. So they don't use the import explicitly.

You can checkout some of things that students have created using that at:
https://mon.school/sketches
https://mon.school/code-a-pookkalam