Code written in F* is running in Firefox, Linux, Windows, and Azure: https://project-everest.github.io/.