TivaCtrlBoard hardware sources.
It is based on TM4C123G6H microcontroller. This board is not designed specifically for any project - main purpose is to be universal control board with monochromatic LCD display (optionally OLED), RGB LED and rotary encoder which fits into small aluminium case - https://www.aliexpress.com/item/1005001699595657.html