Judging from the GIF, they're using AWS NICE DCV: https://docs.aws.amazon.com/dcv/latest/adminguide/what-is-dc...