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. Are there any good libraries, examples, or tips for getting IR transmission working on STM32?

Did you try to use this library ??

I've not tried it out but
it may be 'easier' with the library
https://github.com/Arduino-IRremote/Arduino-IRremote
the ir receivers:
https://github.com/Arduino-IRremote/Ard ... er-pinouts
for transmit, I'd guess a regular ir led would do
if you are using the library, review the related docs