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