3 ms·Seems like they are using a derivative of PyCharm for the IDE-part?by chillax 15y agoSeems like they are using a derivative of PyCharm for the IDE-part?sarnowski 15y agoIndeed, I wonder if they have a deal with Jetbrains for that.chillax 15y agoI guess they have to have that. Or perhaps they built it on top of intellij community edition?cgbystrom 15y agoYes, we do.