We published some code on github, see https://github.com/tezos/tezos

The key benefits of Tezos are

1) a governance mechanism that permits innovation at the protocol level through self-amendments. It means stakeholder can choose to incorporate or reject various innovations. They could introduce new types of transactions, new assets or even change the consensus protocol itself.

2) a formally specified smart-contract language

3) good design in general