Is this an implementation of Google's Spanner? I looked the projects github page but didn't see much in the way of project's origins.