Actually most of what I've seen is from sketchup (free), OpenSCAD (Free), or Autodesk 123D (free). There's some solidworks stuff but I have no idea if it's pirated or not, nobody does from the perspective of the person getting the files to print.