Anyone can post Verilog there. Here are some of the higher quality repositories for video processing. It is expected that more will be added to this list.

ECP5 DVI I/O can be found In the examples directory [18] for the popular ULX3M board.  There is VHDL code for DVI out, with a Verilog wrapper. DVI out supports 24 bit 1920*1080 frames @30 FPS. The design uses the I/O blocks which were designed for controlling DDR memory using a clock source from the FPGA.

The Brilliant Lab’s SDK runs on the Frame glasses which  include a camera, a display, a bluetooth microcontroller, and an DPGA. The Verilog SDK has a complete pipeline. Of particular interest are the MPEG compression circuits.

FPGA-LCD-Driver fork by Gohran Mahovlic is a VHDL library for GateMate which uses an LVDS signal to drive a TFT LCD display with a test pattern.

Litex provides color space conversion between RGB and YCbCr.

Simpler DDR3 Controller.    View      

This can do < 125 Mhz x 32 bit wide DDR3 on Lattice and other devices.