You can get shredded carrots at a salad bar, and I buy bags of pre-shredded carrots at the supermarket. I want to make these at home with a machine but haven't found one. When you use a food processor, the attachment is usual a grater, similar to a coarse box grater; this makes carrot shreds that are much thinner than the thicker ones you use on a salad (or maybe for use in Vietnamese pickles, banh mi, etc).
I'm sure they use a machine to do this to make the bags available at the store, but I've only found commercial machines that can do it (example: https://www.chipsfryer.com/single-series/carrot-cutter-machine.html)
Is anyone aware of a machine that can do this for home use?
To be clear, I don't think a typical food processor grating attachment does this, nor does a box grater. I know I can use a mandoline or a knife, but I'm looking for a machine to do it in bulk, or an attachment to a food processor or stand mixer. The best idea of come up with is to try using a spiralizer and then chop up the spirals with a knife.