I remember my CS course using web tech (Codio) to teach coding, which doesn't seem like a bad option for educators, as far as dealing with cross-platform differences goes.