Red Data Girl
Manga
Red Data Girl is a series of fantasy novels written by Noriko Ogiwara. Six volumes have been released. The first volume was published by Kadokawa Shoten in 2008, while the last was published in 2012. The manga adaptation, illustrated by Ranmaru Kotone and published by Kadokawa Shoten, was serialized between 2012 and 2014. A 12-episode anime television series adaptation by P.A. Works aired between April and June 2013.
Description from Wikipedia, available under CC BY-SA 4.0. May be shortened.