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