GitHub repository: kelloggm/https-checker
Primary language: Java
Created: 2019-04-22T18:27:02Z
Description: A typechecker for enforcing that URLs start with "https" in Java, implemented as a typesystem for which Strings start with which regexes.