Is there a machine for thick shredded carrots for home use (not grated)? 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.
I think this might be the closest to what you are looking for... it's a food processor attachment for the KitchenAid Stand Mixers. Of course, you might look for new blades to use with your existing processor (they might offer blades that cut sticks instead of shreds).