Non-commutative cristalline cohomology

I am going to give an overview of the several constructions of non-commutative analogs of cristalline cohomology that appeared recently, with special focus on "linear" constructions of Vologodsky-Petrov and Tsygan. If time permits, I will end with some speculations on what might be possible over $\mathbb{R}$.