https-checker A typechecker for enforcing that URLs start with "https" in Java, implemented as a typesystem for which Strings start with which regexes.