[{"data":1,"prerenderedAt":268},["ShallowReactive",2],{"repo-intersectmbo-plutus-en":3,"i18n-intersectmbo-plutus-en":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,"An open-source library for accelerating large language model (LLM) fine-tuning, significantly reducing VRAM usage and increasing training speed.",{"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 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.",{"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 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.",{"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 is a simple yet elegant Python HTTP library for sending HTTP\u002F1.1 requests with minimal code, handling query strings, form encoding, cookies, auth, and decompression automatically.",{"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 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.",{"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 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.",{"description":266,"readmeHtml":267},"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.","\u003Ch2 id=\"project-overview\">Project Overview\u003C\u002Fh2>\u003Cp>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.\u003C\u002Fp>\n\u003Ch2 id=\"key-features\">Key Features\u003C\u002Fh2>\u003Cul>\n\u003Cli>Plutus Core: the smart contract language embedded in the Cardano ledger\u003C\u002Fli>\n\u003Cli>Plutus Tx: the compiler from Haskell to Plutus Core\u003C\u002Fli>\n\u003Cli>Specification and mechanized metatheory\u003C\u002Fli>\n\u003Cli>User documentation and Haddock API documentation\u003C\u002Fli>\n\u003C\u002Ful>\n\u003Ch2 id=\"target-audience\">Target Audience\u003C\u002Fh2>\u003Cul>\n\u003Cli>Cardano blockchain smart contract developers\u003C\u002Fli>\n\u003Cli>Distributed application developers\u003C\u002Fli>\n\u003Cli>Researchers interested in functional smart contracts\u003C\u002Fli>\n\u003C\u002Ful>\n\u003Ch2 id=\"quick-start\">Quick Start\u003C\u002Fh2>\u003Col>\n\u003Cli>Visit the \u003Ca href=\"https:\u002F\u002Fplutus.cardano.intersectmbo.org\u002Fdocs\u002F\" target=\"_blank\" rel=\"noopener noreferrer\">user documentation\u003C\u002Fa> to get started\u003C\u002Fli>\n\u003Cli>Run \u003Ccode>nix develop\u003C\u002Fcode> to enter the development environment\u003C\u002Fli>\n\u003Cli>Refer to the \u003Ca href=\"https:\u002F\u002Fgithub.com\u002FIntersectMBO\u002Fplutus\u002Fblob\u002Fmaster\u002FCONTRIBUTING.adoc\" target=\"_blank\" rel=\"noopener noreferrer\">contributing guide\u003C\u002Fa> for development\u003C\u002Fli>\n\u003C\u002Fol>\n\u003Ch2 id=\"core-advantages\">Core Advantages\u003C\u002Fh2>\u003Cul>\n\u003Cli>Official smart contract language implementation for the Cardano ecosystem\u003C\u002Fli>\n\u003Cli>Type-safe development experience based on Haskell\u003C\u002Fli>\n\u003Cli>Complete specification and mechanized verification\u003C\u002Fli>\n\u003Cli>Active academic and development community\u003C\u002Fli>\n\u003C\u002Ful>\n\u003Ch2 id=\"system-requirements\">System Requirements\u003C\u002Fh2>\u003Cul>\n\u003Cli>OS: Cross-platform (supports Nix environment)\u003C\u002Fli>\n\u003Cli>Additional Dependencies: Haskell, Nix\u003C\u002Fli>\n\u003C\u002Ful>\n",1794623995048]