idagpu-public

Various things related to the IDA GPU cluster