Plutus

Plutus is the smart contract development framework for the Cardano blockchain, created using Haskell. It provides the core infrastructure for writing, testing, and deploying secure, deterministic smart contracts on the Cardano platform. Plutus includes a custom functional language (Plutus Core), a higher-level embedded DSL (Plutus Tx) for writing contracts in Haskell, and an off-chain infrastructure for managing interactions. It ensures strong correctness guarantees through formal verification and functional programming paradigms.

Features

Embedded Haskell DSL (Plutus Tx) for contract logic
Plutus Core for on-chain code representation
Off-chain infrastructure for contract execution
Formal verification and type safety
Integration with Cardano node and wallet
Simulator and test environments for development

Project Samples

Project Activity

See All Activity >

License

Apache License V2.0

Follow Plutus

Plutus Web Site

Other Useful Business Software

Build Agents and Models on One Platform

Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.

Try It Free

Rate This Project

User Reviews

Be the first to post a review of Plutus!

Additional Project Details

Operating Systems

Linux, Mac, Windows

Programming Language

Haskell

Related Categories

Haskell Smart Contract Tool

Registered

2025-07-17

Similar Business Software

Clear Contracts

Easily form and manage DAOs. Access a community-led smart contract library to execute specific transactions, facilitate voting, and manage proposals. Provide exclusive access to special content, voting, and more to NFT holders. Easily create utility for your Cardano NFT project. DAOs,...

See Software
ParaState

Write Ethereum-compatible smart contracts in popular programming languages, & run them much faster, on Substrate. A decentralized open source business model funded by developer treasuries on participating blockchains. All existing Ethereum smart contracts work on ParaState’s Ewasm VM (Pallet...

See Software
AstraKode Blockchain

AstraKode Blockchain (AKB) is a low-code, web-based platform for enterprise blockchain solutions and smart contracts development, testing and deployment. The platform currently offers: The Network Composer, a guided visual IDE where users can design and easily configure a permissioned...

See Software
HollaEx

Unleash the potential of your business with HollaEx® — not just any white-label crypto software, but a comprehensive toolkit that revolutionizes your connection to the blockchain world 🌐. Featuring customized markets and crypto assets on your website, using the open-source HollaEx crypto tool...

See Software
ChainPact

A decentralized peer to peer work contract or payroll decentralized application. There are currently two kinds of pacts that can be made using ChainPact - Gig pact and Proposal Pact. Gig Pact enables anyone to create a freelancing agreement or employment contract on the blockchain. This...

See Software
Tenderly

Comprehensive Ethereum developer platform for real-time monitoring, alerting, debugging, and simulating Smart Contracts. Sort and group transactions by any parameter you want and make it easier to explore and analyze robust data. Inspect the transaction execution with a couple of clicks and...

See Software