[{"data":1,"prerenderedAt":268},["ShallowReactive",2],{"repo-intersectmbo-plutus-zh-CN":3,"i18n-intersectmbo-plutus-zh-CN":265},{"mirrorPool":4,"detail":13,"relatedProjects":125},[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,"subgroup":40,"releases":41},"IntersectMBO","plutus",73861563,"https:\u002F\u002Fgithub.com\u002FIntersectMBO\u002Fplutus",1632,"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.6,0.1,0,[],"","2026-10-17","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-10-17T11:36:09.614775+00:00","2026-10-17T10:35:10Z",[35,36,37],"blockchain","programming-language","smart-contracts","Apache-2.0","development","开发库\u002F框架",[42,54,64,74,84,95,105,115],{"tag":43,"publishAt":33,"semVer":44,"prerelease":47,"assets":48},"1.72.0.0",[45,46,25],1,72,false,[49],{"fileName":50,"sizeMb":51,"sha256":52,"downloadCount":45,"originUrl":53},"plutus-metatheory.tar.gz",0.22,"aee69cd730972dac1d5f7271b4bc8650642c641903421611f92d682867920a5c","https:\u002F\u002Fgithub.com\u002FIntersectMBO\u002Fplutus\u002Freleases\u002Fdownload\u002F1.72.0.0\u002Fplutus-metatheory.tar.gz",{"tag":55,"publishAt":56,"semVer":57,"prerelease":47,"assets":59},"1.71.0.0","2026-09-30T01:46:39Z",[45,58,25],71,[60],{"fileName":50,"sizeMb":51,"sha256":61,"downloadCount":62,"originUrl":63},"2b8ce5b0f2f230a8533cac1f60faf97d0c906a9235be4fc521181aa5116841d0",59,"https:\u002F\u002Fgithub.com\u002FIntersectMBO\u002Fplutus\u002Freleases\u002Fdownload\u002F1.71.0.0\u002Fplutus-metatheory.tar.gz",{"tag":65,"publishAt":66,"semVer":67,"prerelease":47,"assets":69},"1.70.0.0","2026-09-29T15:38:22Z",[45,68,25],70,[70],{"fileName":50,"sizeMb":51,"sha256":71,"downloadCount":72,"originUrl":73},"42ad4d8efb8ab8d716fb293e2d165ee561d6a4cf08bf8b5aceda7a8cddfba34c",5,"https:\u002F\u002Fgithub.com\u002FIntersectMBO\u002Fplutus\u002Freleases\u002Fdownload\u002F1.70.0.0\u002Fplutus-metatheory.tar.gz",{"tag":75,"publishAt":76,"semVer":77,"prerelease":47,"assets":79},"1.69.0.0","2026-09-11T18:50:34Z",[45,78,25],69,[80],{"fileName":50,"sizeMb":51,"sha256":81,"downloadCount":82,"originUrl":83},"f6759f6de3a4e279fe9cd2ed9991385d8a2f3c59ec7c174e6f216613e8047da9",9,"https:\u002F\u002Fgithub.com\u002FIntersectMBO\u002Fplutus\u002Freleases\u002Fdownload\u002F1.69.0.0\u002Fplutus-metatheory.tar.gz",{"tag":85,"publishAt":86,"semVer":87,"prerelease":47,"assets":89},"1.68.0.0","2026-08-21T19:55:13Z",[45,88,25],68,[90],{"fileName":50,"sizeMb":91,"sha256":92,"downloadCount":93,"originUrl":94},0.21,"c0df06a52050668459152eefb3812fc1487c03a304a28b380110f74477ba08ff",10,"https:\u002F\u002Fgithub.com\u002FIntersectMBO\u002Fplutus\u002Freleases\u002Fdownload\u002F1.68.0.0\u002Fplutus-metatheory.tar.gz",{"tag":96,"publishAt":97,"semVer":98,"prerelease":47,"assets":100},"1.67.0.0","2026-08-07T16:12:37Z",[45,99,25],67,[101],{"fileName":50,"sizeMb":102,"sha256":103,"downloadCount":93,"originUrl":104},0.2,"09bb6eef8ce901557b4330e528857af27468aa4672e2b925e32980acca2998e3","https:\u002F\u002Fgithub.com\u002FIntersectMBO\u002Fplutus\u002Freleases\u002Fdownload\u002F1.67.0.0\u002Fplutus-metatheory.tar.gz",{"tag":106,"publishAt":107,"semVer":108,"prerelease":47,"assets":110},"1.66.0.0","2026-07-15T20:25:18Z",[45,109,25],66,[111],{"fileName":50,"sizeMb":102,"sha256":112,"downloadCount":113,"originUrl":114},"e07e8212339717142213fb87b80db74dced6aa55d9be1f40ca4b3c8670c2489d",7,"https:\u002F\u002Fgithub.com\u002FIntersectMBO\u002Fplutus\u002Freleases\u002Fdownload\u002F1.66.0.0\u002Fplutus-metatheory.tar.gz",{"tag":116,"publishAt":117,"semVer":118,"prerelease":47,"assets":120},"1.65.0.0","2026-05-22T12:34:35Z",[45,119,25],65,[121],{"fileName":50,"sizeMb":102,"sha256":122,"downloadCount":123,"originUrl":124},"c5ff00d27ed58596d63354c497f433997c077c020f344d7f259cad6cad469def",18,"https:\u002F\u002Fgithub.com\u002FIntersectMBO\u002Fplutus\u002Freleases\u002Fdownload\u002F1.65.0.0\u002Fplutus-metatheory.tar.gz",[126,161,184,212,230,250],{"owner":127,"repo":128,"repoId":129,"category":39,"subgroup":40,"language":130,"tags":131,"starCount":151,"ownerUid":152,"latestTag":153,"platforms":154,"lastReleaseTime":158,"downloadCount":159,"description":160},"unslothai","unsloth",725205304,"Python",[132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,128],"agent","ai","chatgpt","deepseek","fine-tuning","gemma","image-generation","llama","llm","llms","openai","python","qwen","reinforcement-learning","self-hosted","stable-diffusion","text-to-speech","tts","ui",79329,150920049,"v0.1.917-beta",[155,156,157],"windows","mac","linux","2026-11-11T16:00:56Z",1739,"一个用于加速大型语言模型（LLM）微调的开源库，支持大幅降低显存占用并提升训练速度。",{"owner":162,"repo":163,"repoId":164,"category":39,"subgroup":40,"language":130,"tags":165,"starCount":177,"ownerUid":178,"latestTag":179,"platforms":180,"lastReleaseTime":181,"downloadCount":182,"description":183},"openbq-org","OpenBB",323048702,[133,166,167,168,169,170,171,172,173,174,143,175,176],"crypto","derivatives","economics","equity","finance","fixed-income","machine-learning","openbb","options","quantitative-finance","stocks",74466,328144346,"ODP",[155,156],"2026-09-30T01:47:43Z",1099,"OpenBB 是面向分析师、量化研究员和 AI Agent 的开放金融数据平台，以 Python 库与 REST API 形式聚合股票、期权、加密货币、宏观经济等多源数据，一次接入多处消费。",{"owner":185,"repo":186,"repoId":187,"category":39,"subgroup":40,"language":130,"tags":188,"starCount":204,"ownerUid":205,"latestTag":206,"platforms":207,"lastReleaseTime":209,"downloadCount":210,"description":211},"pathwaycom","pathway",571186647,[189,190,191,192,193,194,195,196,197,198,186,143,199,200,201,202,203],"batch-processing","data-analytics","data-pipelines","data-processing","dataflow","etl","etl-framework","iot-analytics","kafka","machine-learning-algorithms","real-time","rust","stream-processing","streaming","time-series-analysis",62092,25750857,"v0.32.1",[208],"other","2026-08-01T09:17:35Z",359,"Pathway 是一个 Python ETL 框架，统一处理批数据与流数据，适用于流处理、实时分析、LLM 管道与 RAG，底层由基于 Differential Dataflow 的 Rust 引擎驱动。",{"owner":213,"repo":214,"repoId":215,"category":39,"subgroup":40,"language":130,"tags":216,"starCount":223,"ownerUid":224,"latestTag":225,"platforms":226,"lastReleaseTime":227,"downloadCount":228,"description":229},"psf","requests",1362490,[217,218,219,220,221,143,222,214],"client","cookies","forhumans","http","humans","python-requests",54522,50630501,"v2.34.2",[208],"2026-05-14T19:27:15Z",1182,"Requests 是 Python 最流行的 HTTP 客户端库，用极简 API 发送 HTTP\u002F1.1 请求，自动处理查询串、表单编码、Cookie、认证与压缩解码。",{"owner":231,"repo":232,"repoId":233,"category":39,"subgroup":40,"language":130,"tags":234,"starCount":243,"ownerUid":244,"latestTag":245,"platforms":246,"lastReleaseTime":247,"downloadCount":248,"description":249},"run-llama","llama_index",560704231,[235,236,237,136,238,239,140,240,241,242],"agents","application","data","framework","llamaindex","multi-agents","rag","vector-database",52579,130722866,"v0.14.25",[208],"2026-09-21T16:22:27Z",35,"LlamaIndex 是一个面向大语言模型应用的开源数据框架（Python），提供数据连接器、索引、查询引擎与 Agent 编排，把私有数据接入 LLM 构建 RAG 与智能体应用。",{"owner":251,"repo":252,"repoId":253,"category":39,"subgroup":40,"language":130,"tags":254,"starCount":259,"ownerUid":260,"latestTag":261,"platforms":262,"lastReleaseTime":263,"downloadCount":93,"description":264},"pandas-dev","pandas",858127,[255,256,257,258,252,143],"alignment","data-analysis","data-science","flexible",50327,21206976,"v3.1.1",[208],"2026-11-04T15:46:25Z","pandas 是 Python 最流行的数据分析与处理库，提供类似 R data.frame 的带标签数据结构 Series 与 DataFrame，覆盖清洗、对齐、分组聚合、时间序列等日常数据工作全流程。",{"description":266,"readmeHtml":267},"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",1794593708230]