Also google has some famous operation research tools: https://github.com/google/or-tools .
I think operations research is a very broad topic. There is probably heavy overlap in managing large graphs of information as well.