Contains libraries for use in making provably-private applications. - View it on GitHub