[gubikmic]

Source code is available: https://github.com/mathigon https://mathigon.io

[lovemenot]

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