Pyteal is a Python library used to write Algorand smart contracts. It allows developers to express smart contract logic in a familiar and expressive programming language.