GitHub repository: IntersectMBO/cardano-ledger
Primary language: Haskell
Description: The ledger implementation and specifications of the Cardano blockchain.