I use WSL as well. It works but it's bloody awfully slow thanks to being backed with NTFS
Copycon on DOS
I dumped Windows in 1997 and moved to Linux full time. I've been on FreeBSD the last 3 years.
Because the Forth I use has a MCU resident optimizing compiler, the only development support it needs is a serial terminal.
Sourcecode is handled by GNU Screen remotely controlled by the "make" button in my Vim editor which strips all comments before uploading to the MCU at 460800 Baud with hardware handshaking.
I can read/write/test any STM32 register or bitfield with a quick editor search that will insert the code line into the source ready to run on the target. The Bitfield file is auto generated from CMSIS-SVD, so all naming is CMSIS compliant.
With this system I get realtime MCU interactivity for development, I work from a GUI editor with colour syntax and Fossil code versioning. Any compiler issues detected by the MCU beep my Workstation bell and are highlighted in red (errors) or blue (warnings) on the terminal.
Frankly, a Raspberry Pi could be used for all of this. Imagine that, a completely interactive STM32 development system on a RPI with a STM32Xxx Discovery/Nucleo board!
I didn't write the GPL'd Forth (Mecrisp-Stellaris) but I designed every other part of my system myself because ... "Open Source"