2 ms·F* – Microsoft's programming language with a superset of features over F#10 points by philonoist 4y agophilonoist 4y agoAfter verification, F* programs can be extracted to efficient OCaml, F#, C, WASM, or ASM code.