1. 11

F* has been around for a while, and is the successor to the F7 project used to verify http://www.mitls.org/wsgi .

But the apache license is new, and much less restrictive than the previous one.

  1.