What IDEs do we develop on?

Some of our favourite IDEs include VSCode and Eclipse.