GitHub repository: mirelon/cardano-ledger
Description: The ledger implementation and specifications of the Cardano blockchain.