Those two are just case studis. There is a fuller list here: https://pingcap.com/docs/adopters/

TiDB developer here. There are more than one hundred companies who use TiDB in their production environment. The number keeps growing. The link in sanxiyn's post shows part of them. I think it is safe to say that TiDB is mature enough.