If you don't know what CyanogenMod is, CyanogenMod is actually not just a mod, but it's a ROM, but basically it's a stock android look, in this case it's 4.2 Jelly Bean, but it has a lot more customizable things, like the lock screen, the notification bar, lots of downloadable themes, and much more.
CyanogenMOD 10.1 has reached its first "M-Series" milestone builds for various devices. These builds are intended to be mostly stable and ready for everyday use, based on Jelly Bean MR1. More devices are being worked on, and are available as nightly builds for the time being.
These devices are been supported
* Samsung Captivate
* Samsung Nexus S (+4G)
* Samsung Galaxy S3 USA models (D2*)
* Samsung Galaxy S (galaxysmtd/galaxysbmtd)
* Google Nexus 7
* Google Galaxy Nexus (all variants)
* Google Nexus 4
* Google Nexus 10
* ODroid U2
* Samsung P3100, P3110
* Samsung P5100, P5110
Get it now at https://www.cyanogenmod.org