1.Fstar-lang.org
Rank:3,603,717
Worth:$21
F*: A Proof-Oriented Programming Language