This document discusses Conflict-free Replicated Data Types (CRDTs) and their real-world uses. It begins by describing the distributed counter problem and consistency challenges. It then introduces various CRDT approaches like G-Counter, PN-Counter, MV-Register, OR-Set, and their properties. Finally, it provides examples of how CRDTs are used in systems like Cassandra, Riak, TomTom navigators, Swarm.js, and Spark accumulators to allow for replication and convergence of concurrent changes across distributed nodes.