According to this chart[1], less women than Amazon, Facebook and Apple, more than Microsoft. When you normalise for tech workers only, it climbs to 77% men, which is about average for the industry.

[1] https://cdn.statcdn.com/Infographic/images/normal/4467.jpeg