there's no license file at the link above. I believe this software is mainly intended for the use of educators to develop new content locally.

It seems there's a separate account for their MIT licensed software: https://github.com/mathigon/mathigon.github.io