Cheap depth camera with a small footprint to use with Arduino or Raspberry Pi

@er_name_not_found

I understand that a stereo setup and even a single RGB camera could be used for depth estimate, but it would be great if you have suggestions for some sensor that could directly measure depth.

Thank you!