The implementation and tools for the Plutus language, the smart contract language embedded in the Cardano ledger, providing a platform for developing distributed applications on the Cardano blockchain.
- 1.72.0.0
- Published at
- 27d ago
- 1,632
- Stars
- 119
- Download
- Synced at
- 27d ago
Latest release
1.72.0.0Oct 17, 2026, 10:35 AMDownloads slow? Switch the source anytime above
README
Project Overview
Plutus Core is the smart contract language embedded in the Cardano ledger, forming the basis of the Plutus Platform — an application development platform for building distributed applications using the Cardano blockchain. This repository contains the implementation, specification, and mechanized metatheory of Plutus Core, as well as Plutus Tx, the compiler from Haskell to Plutus Core.
Key Features
- Plutus Core: the smart contract language embedded in the Cardano ledger
- Plutus Tx: the compiler from Haskell to Plutus Core
- Specification and mechanized metatheory
- User documentation and Haddock API documentation
Target Audience
- Cardano blockchain smart contract developers
- Distributed application developers
- Researchers interested in functional smart contracts
Quick Start
- Visit the user documentation to get started
- Run
nix developto enter the development environment - Refer to the contributing guide for development
Core Advantages
- Official smart contract language implementation for the Cardano ecosystem
- Type-safe development experience based on Haskell
- Complete specification and mechanized verification
- Active academic and development community
System Requirements
- OS: Cross-platform (supports Nix environment)
- Additional Dependencies: Haskell, Nix
Release history
Sort
Related projects
unsloth
unslothai/unsloth
An open-source library for accelerating large language model (LLM) fine-tuning, significantly reducing VRAM usage and increasing training speed.
v0.1.917-beta Python
Author updated 2d ago
OpenBB
openbq-org/OpenBB
OpenBB is an open financial data platform for analysts, quants, and AI agents, aggregating equities, options, crypto, and macro data from multiple sources behind one Python library and REST API — connect once, consume everywhere.
ODP Python
Author updated Sep 30, 2026
pathway
pathwaycom/pathway
Pathway is a Python ETL framework that unifies batch and streaming data for stream processing, real-time analytics, LLM pipelines, and RAG, powered by a Rust engine based on Differential Dataflow.
v0.32.1 Python
Author updated Aug 1, 2026
requests
psf/requests
Requests is a simple yet elegant Python HTTP library for sending HTTP/1.1 requests with minimal code, handling query strings, form encoding, cookies, auth, and decompression automatically.
v2.34.2 Python
Author updated May 14, 2026
llama_index
run-llama/llama_index
LlamaIndex is an open-source data framework for LLM applications (Python). It provides data connectors, indices, query engines, and agent orchestration to feed private data into LLMs for building RAG and agent apps.
v0.14.25 Python
Author updated Sep 21, 2026
pandas
pandas-dev/pandas
pandas is the most popular Python data analysis and manipulation library, providing labeled data structures (Series and DataFrame) similar to R's data.frame, covering cleaning, alignment, group-by aggregation, and time series for everyday data work.
v3.1.1 Python
Author updated 9d ago