SHA-256 demo

This demo allows computing the SHA-256 sum using a provably correct implementation in Coq. This Coq program was compiled to a WebAssembly module that is run directly in the browser. Find the code of this site on GitHub.