The main programming languages for smart contract development include Solidity (used by Ethereum), Vyper, and Rust (used by Solana), among others.