GitHub repos by veracrypt

2 public repos by veracrypt in the catalog, most starred first.