Some devices only have DisplayPort alternate mode output, so may need a cable (or adapter) that does the DP->HDMI conversion. Assuming your devices support DP Alt. mode. These are active adapters.

USB-C to HDMI adapters are not the same as display link.

DisplayLink is a janky proprietary virtual framebuffer thing that is pretty similar to the linked project.

Same situation I was in with my new laptop, except that I already had USB C docks lying aroud