Towards verified compilation of CakeML into WebAssembly [pdf]


 

A community for developers looking to put WebAssembly to use today. Come rock WebAssembly with us!