HL has a port

Garry's Mod has a port too

say wallahi gmod has a PORT

There's also a 3DS port for Portal

What's crazy about Portal is that it also has a N64 demake

For portal i just play the DS counterpart for HL been there done that, gmod is new and what about TF2