For a while I've thought about using the name "Zanzibar" for one of my software projects. Thanks a lot google for beating me to the punch: https://storage.googleapis.com/pub-tools-public-publication-data/pdf/0749e1e54ded70f54e1f646cd440a5a523c69164.pdf

it's even a good project too.