F* – Microsoft's programming language with a superset of features over F#github.com/FStarLang10 pointsphilonoist4 years ago