#f
-
F*: the programming language where proofs are built into the code
Developed by Microsoft Research, Inria and the community, the F* language combines functional programming with formal proofs. Its code already runs in Firefox, the Linux kernel and the Azure cloud.