The maximum clock frequency of the TM4C1231D5PMIR is 80 MHz, but it can be overclocked to 120 MHz with some limitations.
The pin muxing on the TM4C1231D5PMIR can be configured using the Pin Mux Utility tool provided by Texas Instruments, or by writing code to configure the GPIO registers directly.
The main difference between the TM4C1231D5PMIR and the TM4C1230D5PMIR is that the TM4C1231D5PMIR has a larger flash memory (256 KB vs 128 KB) and more SRAM (32 KB vs 16 KB).
Yes, the TM4C1231D5PMIR can be used with an external crystal oscillator. The device has an internal oscillator, but it can be bypassed and an external crystal oscillator can be used instead.
The TM4C1231D5PMIR can be programmed using a variety of tools, including the Keil µVision IDE, IAR Embedded Workbench, and the Texas Instruments Code Composer Studio (CCS).