None I recognized the name of on their list, and you'd have to add a USB keyboard to type on it. (Also, speaking as someone who played lots of Infocom games on his C64, I don't think there's any advantage whatsoever to playing them there as opposed to a modern terminal of some sort?)