FRDM K64-F GPIO Pins
If you use developer.mbed.org to program the K64F you could use this page (https://developer.mbed.org/platforms/FRDM-K64F/) and all its examples to get started really quick. Note that every blue box on the pinmap is a GPIO pin.