Hi @Martijn
I think VisualARQ is the simplest choice as it offers SaveAs export to IFC. I have used it for several years now, and it has not failed.
GeometryGym is one as well, but as far as I know, the export is only through Gh. There are plenty of possibilties for tinkering the exact composition of the IFC though.