Standard ML, entirely in your browser — the code runs on Moscow ML compiled to WebAssembly, with live type checking by millet. Toplevel responses (val x = 5 : int) are shown like a REPL would; hover things to see their types, and share your code with the Share button. Nothing leaves your machine.