Plutus is the smart contract platform built into the Cardano ledger. Developers can write validators in Haskell with the Plutus tooling, which compiles to Plutus Core. Other languages, such as Aiken, also target Plutus Core.
Plutus is a good fit for teams with Haskell experience or that need its libraries and formal methods ecosystem.