The ledger implementation and specifications of the Cardano blockchain. [Moved to: https://github.com/input-output-hk/cardano-ledger]
Why do you think that https://github.com/cardano-foundation/cardano-wallet is a good alternative to cardano-ledger-specs