There are various software (UQ tools, Qcodes etc) and devices used at the lab, this page contain the documentation for them.