Wilhelmina and Willamina appear to have some resurgence in popularity as baby names in the US, though both are still uncommon. Willie/Willy has been an intuitive nickname for them.