[{"data":1,"prerenderedAt":128},["ShallowReactive",2],{"repo-intersectmbo-plutus":3,"i18n-intersectmbo-plutus-zh-CN":125},{"mirrorPool":4,"detail":13},[5,9],{"key":6,"label":7,"base":8,"type":6},"github","mirror.github","https:\u002F\u002Fgithub.com\u002F",{"key":10,"label":11,"base":12,"type":10},"auto-proxy","mirror.autoProxy","https:\u002F\u002Fgithub.xxlab.tech\u002F",{"owner":14,"repo":15,"repoId":16,"repoUrl":17,"starCount":18,"language":19,"description":20,"languages":21,"screenshots":26,"homepage":27,"pushedAt":28,"ownerAvatar":29,"ownerName":30,"ownerBio":31,"lastSyncTime":32,"lastReleaseTime":33,"tags":34,"license":38,"category":39,"releases":40,"subgroup":124},"IntersectMBO","plutus",73861563,"https:\u002F\u002Fgithub.com\u002FIntersectMBO\u002Fplutus",1633,"Haskell","The Plutus language implementation and tools",{"Haskell":22,"Untyped Plutus Core":23,"Shell":24,"R":24,"Go Template":24,"Nix":24,"Python":24,"Agda":25,"Awk":25,"Standard ML":25,"JavaScript":25,"HTML":25},87.6,11.7,0.1,0,[],"","2026-09-24","https:\u002F\u002Favatars.githubusercontent.com\u002Fu\u002F138229448?v=4","Intersect MBO","Intersect is a member-based organization for the Cardano ecosystem — putting the community at the center of Cardano’s development","2026-09-26T12:14:30.239958+00:00","2026-09-11T18:50:34Z",[35,36,37],"blockchain","programming-language","smart-contracts","Apache-2.0","development",[41,54,65,75,84,94,104,114],{"tag":42,"publishAt":33,"semVer":43,"prerelease":46,"assets":47},"1.69.0.0",[44,45,25],1,69,false,[48],{"fileName":49,"sizeMb":50,"sha256":51,"downloadCount":52,"originUrl":53},"plutus-metatheory.tar.gz",0.22,"f6759f6de3a4e279fe9cd2ed9991385d8a2f3c59ec7c174e6f216613e8047da9",4,"https:\u002F\u002Fgithub.com\u002FIntersectMBO\u002Fplutus\u002Freleases\u002Fdownload\u002F1.69.0.0\u002Fplutus-metatheory.tar.gz",{"tag":55,"publishAt":56,"semVer":57,"prerelease":46,"assets":59},"1.68.0.0","2026-08-21T19:55:13Z",[44,58,25],68,[60],{"fileName":49,"sizeMb":61,"sha256":62,"downloadCount":63,"originUrl":64},0.21,"c0df06a52050668459152eefb3812fc1487c03a304a28b380110f74477ba08ff",7,"https:\u002F\u002Fgithub.com\u002FIntersectMBO\u002Fplutus\u002Freleases\u002Fdownload\u002F1.68.0.0\u002Fplutus-metatheory.tar.gz",{"tag":66,"publishAt":67,"semVer":68,"prerelease":46,"assets":70},"1.67.0.0","2026-08-07T16:12:37Z",[44,69,25],67,[71],{"fileName":49,"sizeMb":72,"sha256":73,"downloadCount":63,"originUrl":74},0.2,"09bb6eef8ce901557b4330e528857af27468aa4672e2b925e32980acca2998e3","https:\u002F\u002Fgithub.com\u002FIntersectMBO\u002Fplutus\u002Freleases\u002Fdownload\u002F1.67.0.0\u002Fplutus-metatheory.tar.gz",{"tag":76,"publishAt":77,"semVer":78,"prerelease":46,"assets":80},"1.66.0.0","2026-07-15T20:25:18Z",[44,79,25],66,[81],{"fileName":49,"sizeMb":72,"sha256":82,"downloadCount":63,"originUrl":83},"e07e8212339717142213fb87b80db74dced6aa55d9be1f40ca4b3c8670c2489d","https:\u002F\u002Fgithub.com\u002FIntersectMBO\u002Fplutus\u002Freleases\u002Fdownload\u002F1.66.0.0\u002Fplutus-metatheory.tar.gz",{"tag":85,"publishAt":86,"semVer":87,"prerelease":46,"assets":89},"1.65.0.0","2026-05-22T12:34:35Z",[44,88,25],65,[90],{"fileName":49,"sizeMb":72,"sha256":91,"downloadCount":92,"originUrl":93},"c5ff00d27ed58596d63354c497f433997c077c020f344d7f259cad6cad469def",18,"https:\u002F\u002Fgithub.com\u002FIntersectMBO\u002Fplutus\u002Freleases\u002Fdownload\u002F1.65.0.0\u002Fplutus-metatheory.tar.gz",{"tag":95,"publishAt":96,"semVer":97,"prerelease":46,"assets":99},"1.64.0.0","2026-05-11T20:12:29Z",[44,98,25],64,[100],{"fileName":49,"sizeMb":72,"sha256":101,"downloadCount":102,"originUrl":103},"eb3c773205e8e3d7f7cb1f3b6ca52448a6d3934e33a054925022a00d6890c004",12,"https:\u002F\u002Fgithub.com\u002FIntersectMBO\u002Fplutus\u002Freleases\u002Fdownload\u002F1.64.0.0\u002Fplutus-metatheory.tar.gz",{"tag":105,"publishAt":106,"semVer":107,"prerelease":46,"assets":109},"1.63.0.0","2026-05-06T01:52:25Z",[44,108,25],63,[110],{"fileName":49,"sizeMb":72,"sha256":111,"downloadCount":112,"originUrl":113},"5eedd5a4768e876a97b3ce8ad30106f7d475481b96287ebdf9438c0fed952ee9",11,"https:\u002F\u002Fgithub.com\u002FIntersectMBO\u002Fplutus\u002Freleases\u002Fdownload\u002F1.63.0.0\u002Fplutus-metatheory.tar.gz",{"tag":115,"publishAt":116,"semVer":117,"prerelease":46,"assets":119},"1.62.0.0","2026-04-24T13:49:46Z",[44,118,25],62,[120],{"fileName":49,"sizeMb":121,"sha256":122,"downloadCount":112,"originUrl":123},0.19,"78d9c5eae6b4b7008a12dcd50185a35875e3d1be2221b5caf8e04d982a26e907","https:\u002F\u002Fgithub.com\u002FIntersectMBO\u002Fplutus\u002Freleases\u002Fdownload\u002F1.62.0.0\u002Fplutus-metatheory.tar.gz","开发库\u002F框架",{"description":126,"readmeHtml":127},"Plutus语言的实现与工具集，是Cardano账本中嵌入的智能合约语言，为在Cardano区块链上开发分布式应用提供平台。","\u003Ch2 id=\"项目概述\">项目概述\u003C\u002Fh2>\u003Cp>Plutus Core 是嵌入在 Cardano 账本中的智能合约语言，构成了 Plutus Platform 的基础——一个用于在 Cardano 区块链上开发分布式应用的应用开发平台。该仓库包含 Plutus Core 的实现、规范和机械化元理论，以及 Plutus Tx——从 Haskell 到 Plutus Core 的编译器。\u003C\u002Fp>\n\u003Ch2 id=\"主要功能\">主要功能\u003C\u002Fh2>\u003Cul>\n\u003Cli>Plutus Core：Cardano 账本中嵌入的智能合约语言\u003C\u002Fli>\n\u003Cli>Plutus Tx：从 Haskell 到 Plutus Core 的编译器\u003C\u002Fli>\n\u003Cli>规范和机械化元理论\u003C\u002Fli>\n\u003Cli>提供用户文档和 Haddock API 文档\u003C\u002Fli>\n\u003C\u002Ful>\n\u003Ch2 id=\"适用人群\">适用人群\u003C\u002Fh2>\u003Cul>\n\u003Cli>Cardano 区块链智能合约开发者\u003C\u002Fli>\n\u003Cli>分布式应用开发者\u003C\u002Fli>\n\u003Cli>对函数式智能合约感兴趣的研究者\u003C\u002Fli>\n\u003C\u002Ful>\n\u003Ch2 id=\"快速上手\">快速上手\u003C\u002Fh2>\u003Col>\n\u003Cli>访问 \u003Ca href=\"https:\u002F\u002Fplutus.cardano.intersectmbo.org\u002Fdocs\u002F\" target=\"_blank\" rel=\"noopener noreferrer\">用户文档\u003C\u002Fa> 了解项目使用\u003C\u002Fli>\n\u003Cli>运行 \u003Ccode>nix develop\u003C\u002Fcode> 进入开发环境\u003C\u002Fli>\n\u003Cli>参考 \u003Ca href=\"https:\u002F\u002Fgithub.com\u002FIntersectMBO\u002Fplutus\u002Fblob\u002Fmaster\u002FCONTRIBUTING.adoc\" target=\"_blank\" rel=\"noopener noreferrer\">贡献指南\u003C\u002Fa> 参与开发\u003C\u002Fli>\n\u003C\u002Fol>\n\u003Ch2 id=\"核心优势\">核心优势\u003C\u002Fh2>\u003Cul>\n\u003Cli>Cardano 生态的官方智能合约语言实现\u003C\u002Fli>\n\u003Cli>基于 Haskell 的类型安全开发体验\u003C\u002Fli>\n\u003Cli>完整的规范和机械化验证\u003C\u002Fli>\n\u003Cli>活跃的学术和开发社区\u003C\u002Fli>\n\u003C\u002Ful>\n\u003Ch2 id=\"系统要求\">系统要求\u003C\u002Fh2>\u003Cul>\n\u003Cli>操作系统：跨平台（支持 Nix 环境）\u003C\u002Fli>\n\u003Cli>额外依赖：Haskell、Nix\u003C\u002Fli>\n\u003C\u002Ful>\n",1790699366551]