I know from previously working there that Microsoft gives all public holidays. When I started you had floating holidays you could take for some (MLK, Columbus etc) but now all are given. Wouldn't be surprised to learn it's the same at Google, FB et al.
