Looking for esp-idf compatible examples for halow esp32-s3

We do not use arduino, but instead we use the espressif esp-idf toolchain.
I have a goal to explore the use of Halow comm, are there any esp-idf compatible
code examples available for Halow supported hardware?

Thanks

This might be a deal breaker for us. Arduino environment is not ideal for professional grade projects.