I thought there was something wrong on that page:L I wanted to try the IDE but just got this video filling the page and that single red button: "sign in with your google account".
Why does an IDE for microcontrollers requires a Google Account?
Guess I'll never know.
https://ide.whitecatboard.org/