This link leads to an example for TI MSP430 and CC3200 LaunchPads that read a card number
using a RC522 MIFARE module and Energia.
Tested with Energia V16 on:
MSP-EXP430G2 LaunchPad
MSP-EXP430F5529 LaunchPad
MSP-EXP430FR5969 LaunchPad
CC3200