A re-implementation of the Cardano ledger layer, replacing the Byron release
Node shell, a thin layer for running the node and it's modules.
A formal specification and executable model of the ledger rules introduced by the Shelley release
Cardano Settlement Layer Documentation
Cryptographic currency implementing Ouroboros PoS protocol
A lightweight web wallet for Cardano cryptocurrency with Trezor and Ledger support