cardano-addresses is a module that provides mnemonic (backup phrase) creation, and conversion of a mnemonic to seed for wallet restoration, and address derivation functionalities.
cardano-ledger-specs is the formal specification and executable model of the ledger rules introduced by the Shelley release.
bech32 is the Haskell implementation of the Bech32 address format (BIP 0173).
smash is the stake pool metadata aggregation server. It provides off-chain metadata linked to the on-chain registrations of the stake pools.
ouroboros-network is a network package which implements the ouroboros family of protocols, multiplexing layer.