Yes, there is. It is often, but not always, less active and purposeful than you seem to be imagining, but even things like "believing a company is a meritocrac

Yes, there is. It is often, but not always, less active and purposeful than you seem to be imagining, but even things like "believing a company is a meritocracy" and "believing that the most important thing is to hire smart developers" end up in practice leading to discrimination against women, who are less likely to be seen to be "geniuses" with innate talent or leadership potential and more likely to be seen to be hard workers. Then again, I saw a woman get put on a PIP the week after she filed a sexual harassment complaint, because the (major tech) company would rather pay a big severance than tell the dude programmers to stop sexually harassing their coworkers, so there are also explicit dynamics that play into the alienation of women. On the whole, though, it's about disproportionate impact. "You are welcome to join this sexist work environment" is a selling point to far more men that women, so we end up with more men than women. This isn't rocket science.