This project aims to help developers reason about password policies they use.