Thanks! It's more like CodeSandbox, but tailored specifically for educational purposes.

As for the other project, yeah, thanks for letting me know about it. Didn't know about that one, it must have launched recently as well.