The TM4C can't really deliver enough current to drive 0.7V into 75 ohms. It can just about manage 0.6V into 75 ohms, but this is a little dim and pushing the GPIO outputs very hard.
We should add a transistor buffer, an 74-series buffer, or a proper analog VGA amplifier.
The SN74LVC244A might work, as a digital buffer. You'd put a potential divider on the output to get the 1.4V you need.
The AD8044ANZ three channel video amplifier would be perfect, but it's £8.91.
The MAX4395 is much cheaper at £1.83, but it's surface mount.