Not sure - the VGUI code in the Half-Life SDK was a bunch of header files and a .lib file but I'm not sure what actually implemented it. Back in the early 2000s I assume it was either Windows-specific or rendered using DirectX/OpenGL.