RTC libs arduino with DS1307, DS1388, PCF_8563, BQ320000.
Datetime for using with rtc with many useful methods for beginners and may be integrated into another projects.
Libary is written in C++ with classes, easy to use for beginners and professional.
An example with arduino or energia included for testing with LM4f120h5qr TI kit.