You are probably looking for https://docs.cci.rpi.edu