Tezos is technically awesome, it uses proof of stakes, and use a non brain dead Turing complete language for its smart contracts.