Both BitC and ATS are big on formal program verification; rust has the interest because the number of people outside of academia that are interested in formal program verification is approximately zero.