Only if you really want to use the Arduino IDE....Yes, teensy is coded from the arduino IDE
Personally I use arduino-cli and Vim as my "ide". And of course there's PlatformIO that is well regarded for non-IDE usage.
There's also plugins for things like Visual Studio (look for "Visual Micro") and almost any other IDE you care to use...