GitHub repository: obsidiansystems/cardano-ledger-specs
Primary language: Haskell
Description: A formal specification and executable model of the ledger rules introduced by the Shelley release