The ledger implementation and specifications of the Cardano blockchain. - View it on GitHub