Arduino for STM32

Hi!
I'm working on a DIY infrared remote project and was wondering if it's possible to use an STM32 microcontroller to send IR codes to control TVs or other devices. Most of the tutorials and examples I’ve come across use Arduino with the IRremote library, but I’d prefer to stick with STM32 if I can ...