[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"project-10593":3},{"id":4,"name":5,"fullName":6,"owner":7,"repo":5,"description":8,"homepage":9,"htmlUrl":10,"language":11,"languages":10,"totalLinesOfCode":10,"stars":12,"forks":13,"watchers":14,"openIssues":15,"contributorsCount":16,"subscribersCount":16,"size":16,"stars1d":16,"stars7d":16,"stars30d":16,"stars90d":16,"forks30d":16,"starsTrendScore":16,"compositeScore":17,"rankGlobal":10,"rankLanguage":10,"license":18,"archived":19,"fork":19,"defaultBranch":20,"hasWiki":19,"hasPages":21,"topics":22,"createdAt":10,"pushedAt":10,"updatedAt":26,"readmeContent":27,"aiSummary":28,"trendingCount":16,"starSnapshotCount":16,"syncStatus":29,"lastSyncTime":30,"discoverSource":31},10593,"plutus","IntersectMBO\u002Fplutus","IntersectMBO","The Plutus language implementation and tools","",null,"Haskell",1636,514,101,173,0,56.14,"Apache License 2.0",false,"master",true,[23,24,25],"blockchain","programming-language","smart-contracts","2026-06-12 04:00:51","= https:\u002F\u002Fgithub.com\u002FIntersectMBO\u002Fplutus[Plutus Core]\n:email: plutus@iohk.io\n:author: Input Output HK Limited\n:toc: left\n:reproducible:\n\n== Introduction\n\nPlutus Core is the scripting language embedded in the Cardano ledger and forms the basis of the Plutus Platform, an application development platform for developing distributed applications using the Cardano blockchain.\n\nFor more information about the projects, see the \u003C\u003Cuser-documentation>>.\n\nThis repository contains:\n\n* The implementation, specification, and mechanized metatheory of Plutus Core\n* Plutus Tx, the compiler from Haskell to Plutus Core.\n\nFor people who want to *use* the project, please consult the \u003C\u003Cuser-documentation>>.\n\n== Development\n\n[[how-to-develop]]\n=== How to develop and contribute to the project\n\nRun `nix develop` to enter the development shell and you will be presented with a list of available commands.\n\n**Please see link:CONTRIBUTING{outfilesuffix}[CONTRIBUTING] for comprehensive documentation on how to contribute to the project, including development and submitting changes*\n\n=== How to submit an issue\n\nIssues can be filed in the https:\u002F\u002Fgithub.com\u002FIntersectMBO\u002Fplutus\u002Fissues[GitHub Issue tracker].\n\n=== How to depend on the project from another Haskell project\n\nThe `plutus` libraries are published via https:\u002F\u002Finput-output-hk.github.io\u002Fcardano-haskell-packages\u002F[CHaP].\nSee the information there for how to use CHaP.\nAfter setting it up you should just be able to depend on the `plutus` packages as normal and cabal will find them.\n\n== Documentation\n\n=== User documentation\n\nThe main documentation is located https:\u002F\u002Fplutus.cardano.intersectmbo.org\u002Fdocs\u002F[here].\n\nThe haddock documentation is located https:\u002F\u002Fplutus.cardano.intersectmbo.org\u002Fhaddock\u002Flatest[here].\n\nThe documentation for the metatheory can be found https:\u002F\u002Fplutus.cardano.intersectmbo.org\u002Fmetatheory\u002Flatest[here].\n\n=== Talks\n\n- https:\u002F\u002Fwww.youtube.com\u002Fwatch?v=MpWeg6Fg0t8[Functional Smart Contracts on Cardano (2020)]: an overview of the ideas behind the Plutus Platform.\n- https:\u002F\u002Fwww.youtube.com\u002Fwatch?v=usMPt8KpBeI[The Plutus Platform (2020)]: an overview of the Platform as a whole (including the Application Framework) at the time.\n\n=== Specifications and design\n\n- https:\u002F\u002Fplutus.cardano.intersectmbo.org\u002Fresources\u002Fplutus-report.pdf[Plutus Technical Report (draft)]: a technical report and design document for the project.\n- https:\u002F\u002Fplutus.cardano.intersectmbo.org\u002Fresources\u002Fplutus-core-spec.pdf[Plutus Core Specification]: the formal specification of the core language.\n- https:\u002F\u002Fplutus.cardano.intersectmbo.org\u002Fresources\u002Fextended-utxo-spec.pdf[Extended UTXO Model]: a design document for the core changes to the Cardano ledger.\n\n=== Academic papers\n\n- https:\u002F\u002Fplutus.cardano.intersectmbo.org\u002Fresources\u002Funraveling-recursion-paper.pdf[Unraveling Recursion]: a description of some of the compilation strategies used in Plutus IR (https:\u002F\u002Fdoi.org\u002F10.1007\u002F978-3-030-33636-3_15[published version]).\n- https:\u002F\u002Fplutus.cardano.intersectmbo.org\u002Fresources\u002Fsystem-f-in-agda-paper.pdf[System F in Agda]: a formal model of System F in Agda (https:\u002F\u002Fdoi.org\u002F10.1007\u002F978-3-030-33636-3_10[published version]).\n- https:\u002F\u002Fplutus.cardano.intersectmbo.org\u002Fresources\u002Feutxo-paper.pdf[The Extended UTXO Model]: a full presentation of the EUTXO ledger extension (https:\u002F\u002Fdoi.org\u002F10.1007\u002F978-3-030-54455-3_37[published version]).\n- https:\u002F\u002Fplutus.cardano.intersectmbo.org\u002Fresources\u002Futxoma-paper.pdf[UTXOma: UTXO with Multi-Asset Support]: a full presentation of the multi-asset ledger extension (https:\u002F\u002Fdoi.org\u002F10.1007\u002F978-3-030-61467-6_8[published version]).\n- https:\u002F\u002Fplutus.cardano.intersectmbo.org\u002Fresources\u002Feutxoma-paper.pdf[Native Custom Tokens in the Extended UTXO Model]: a discussion of the interaction of the multi-asset support with EUTXO (https:\u002F\u002Fdoi.org\u002F10.1007\u002F978-3-030-61467-6_7[published version]).\n- https:\u002F\u002Farxiv.org\u002Fabs\u002F2201.04919[Translation Certification for Smart Contracts]:  a certifier of Plutus IR compiler passes written in Coq.\n\n== Licensing\n\nYou are free to copy, modify, and distribute this software under the terms of the Apache 2.0 license.\n\nSee the link:.\u002FLICENSE.md[LICENSE] and link:.\u002FNOTICE.md[NOTICE] files for details.\n","Plutus 是一种嵌入在Cardano账本中的脚本语言，构成了Plutus平台的基础，该平台用于开发基于Cardano区块链的分布式应用。其核心功能包括Plutus Core的实现、规范及其机械化元理论，以及一个从Haskell到Plutus Core的编译器Plutus Tx。技术上，该项目采用Haskell编写，支持智能合约的创建与执行，强调形式验证和安全性。适用于需要在Cardano区块链上构建复杂逻辑的应用场景，如去中心化金融(DeFi)项目或需高度定制化的区块链解决方案。",2,"2026-06-11 03:29:16","top_topic"]