There's also microG for some of those proprietary google services.