Yes, you probably imagine that 
There are very few DSP libraries suitable for embedded hardware. If that wasn’t the case, they likely wouldn’t bother writing DaisySP in first place.
So far people have used Q and naturally you can use stmlib.
If you need to access large amount of DSP code, the easiest way would be to export it from FAUST