I am not sure if jest, but you could always take a few seconds at protondb that yes, all of those games do in fact run on Linux. For a in particular seems to have issues for some users, but everything else works with minimal hassle.