Group projects by source code language

[squishyhuman]

The last documentation reorganization was beneficial. In the jam session you guys discussed adding a better overview of truebit's repos. It would be nice if an overview could be added that focused on the source language and runtime environment of each repo.

For example, specifying that the incentive layer is primarily Solidity contracts would indicate that the source is run entirely on-chain. OCaml, of course, runs off-chain.

The real advantage is with wasm. It took me a while to wrap my head around the fact that wasm is the only code that runs both on-chain, on top of Solidity code, and off-chain, on top of OCaml code. With three languages involved simultaneously this can get confusing. Throw in C and Rust, that compile to wasm and are run on top of Solidy and OCaml interpreters, and you can see the friction in comprehending how these pieces all fit together.

[hswick]

That is a great point. Truebit is quickly becoming a complex matrix of different classifications