3. WikiCentralized Source for Truebit Documentation
5. ocaml-offchainFork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification
6. wasm-portsScripts to install libraries compiled to WASM using emscripten