# Developer portal

- [Developer Portal Contents](/cardano/developer-portal/developer-portal-contents.md): Developer Portal
- [Programming Languages](/cardano/developer-portal/developer-portal-contents/programming-languages.md)
- [Haskell](/cardano/developer-portal/developer-portal-contents/programming-languages/haskell.md)
- [Plutus](/cardano/developer-portal/developer-portal-contents/programming-languages/plutus.md)
- [Marlowe](/cardano/developer-portal/developer-portal-contents/programming-languages/marlowe.md)
- [Plutus Tx: Compiling Haskell Into Plutus Core](/cardano/developer-portal/developer-portal-contents/plutus-tx-compiling-haskell-into-plutus-core.md): Get to the heart of writing smart contract applications on Cardano
- [Cardano Resources and Further Reading](/cardano/developer-portal/developer-portal-contents/cardano-resources-and-further-reading.md)
- [Research Papers](/cardano/developer-portal/developer-portal-contents/research-papers.md)