IntersectMBO/plutus

View on GitHub

The Plutus language implementation and tools

Stars: 1.6k
Forks: 508
Open beginner issues: 0
Indexed issues: 174
Avg merge: 3d 10h
Merged PRs (30d): 22

Dominant language: Haskell
License: Apache-2.0
Last GitHub push: Sep 15, 2026
Latest indexed: Sep 17, 2026
Contributing guide: Contributing guide
Code of conduct: Code of conduct
Beginner labels: good first issue

Open All

174 open issues indexed

Unhardcode Plutus types from signatures of builtins Open

Builtins Low priority Refactoring status: triaged tech debt

IntersectMBO/plutus#6035 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
(DecodeU8 . EncodeU8) Rewrite Rule Open

Builtins Good first issue Internal optimization status: triaged

IntersectMBO/plutus#6038 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
Browser-runnable CEK evaluator Open

Evaluation Internal status: triaged Untyped Plutus Core

IntersectMBO/plutus#6040 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Static executables for other OSes & architectures Open

Build Internal Low priority status: triaged

IntersectMBO/plutus#6042 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
Use type-level Nats for `safeEncodeBits` Open

Good first issue Internal Plutus Core status: triaged

IntersectMBO/plutus#6048 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Review & revise the exporting of PlutusIR library namespace Open

Internal Plutus IR status: triaged tech debt

IntersectMBO/plutus#6050 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Compact / shrink down the flat size of uplc Open

Internal status: triaged Untyped Plutus Core

IntersectMBO/plutus#6051 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Experiment: replace builtin type Strict Bytestring -> ShortByteString Open

Good first issue Internal optimization status: triaged

IntersectMBO/plutus#6052 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Make the inliner perform marking/renaming Open

bug Good first issue Internal optimization status: triaged

IntersectMBO/plutus#6071 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Figure out how an inferred PIR type corresponds to the PLC type of the compiled term and test that Open

Internal Plutus IR status: triaged Test

IntersectMBO/plutus#6072 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Investigate call-by-need semantics for `force`-`delay` Open

Internal optimization status: triaged Untyped Plutus Core

IntersectMBO/plutus#6073 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Incorporate SOPs into the Plutus Core data type compilation machinery Open

Internal Plutus Core status: triaged Test

IntersectMBO/plutus#6074 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Specify the exact meaning of "pure" in the PIR optimizer Open

Good first issue Internal Plutus IR status: triaged

IntersectMBO/plutus#6077 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Plutus Tx stdlib needs way more tests Open

Internal Plinth status: triaged Test

IntersectMBO/plutus#6078 · 0 comments · 1 reaction · 0 assignees · Indexed Sep 17, 2026
Investigate if lambdas not annotated with types fail to compile in Plutus Tx Open

Good first issue Internal Plinth status: triaged User experience

IntersectMBO/plutus#6085 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Decide how to deal with multiple cost models in the tests Open

Costing Internal Plutus Ledger API status: triaged Test

IntersectMBO/plutus#6088 · 4 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Rework plutus-ledger-api tests for new cost model machinery Open

Costing Internal Plutus Ledger API status: triaged tech debt Test

IntersectMBO/plutus#6089 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Add a datatype compilation strategy for PIR that compiles datatypes to Data Open

Internal Plutus IR status: triaged

IntersectMBO/plutus#6099 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Move the builtins to a common component Open

Builtins Low priority status: triaged tech debt

IntersectMBO/plutus#6102 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Move the TPLC type language to a common component Open

Low priority status: triaged tech debt

IntersectMBO/plutus#6103 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Use meaningful error messages instead of error code in the script Open

Errors Low priority status: triaged User experience

IntersectMBO/plutus#6104 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Adapt Behavioural proof CC-CK to SOPs in the metatheory Open

Internal Metatheory status: triaged

IntersectMBO/plutus#6105 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Adapt Behavioural proof CK-CEK to SOPs in the metatheory Open

Internal Metatheory status: triaged

IntersectMBO/plutus#6106 · 5 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Adapt Behavioural proof Red-CC to SOPs in the metatheory Open

Internal Metatheory status: triaged

IntersectMBO/plutus#6107 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
If it is safe, "free" memory for CEK machine frames when they are no longer on the stack Open

Costing Evaluation Internal status: triaged

IntersectMBO/plutus#6108 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Write a check to see if tail-recursive functions in PLC use flat memory Open

Evaluation Low priority status: triaged tech debt Test

IntersectMBO/plutus#6109 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Optimization: Pull polymorphism out of recursions Open

Low priority optimization Plutus IR status: triaged

IntersectMBO/plutus#6111 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Think about how to make the interfaces of the executables more consistent and useful Open

Internal Plutus Exe status: triaged

IntersectMBO/plutus#6112 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Add benchmarks for compilation Open

Benchmarks Good first issue Low priority status: triaged

IntersectMBO/plutus#6113 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Debugging scripts from transactions Open

Low priority status: triaged User experience

IntersectMBO/plutus#6114 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Investigate automatic explanation of Plutus script evaluation result Open

Evaluation Low priority status: triaged User experience

IntersectMBO/plutus#6116 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Use nothunks in the evaluator to avoid space leaks Open

Evaluation Low priority status: triaged Test

IntersectMBO/plutus#6119 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Figure out what we can do with a custom binary format of our own Open

Low priority status: triaged

IntersectMBO/plutus#6120 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Re-implement the flat format ourselves Open

Internal status: triaged tech debt

IntersectMBO/plutus#6121 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Revisit our PLC tests and see which ones could be made into property tests Open

Internal Plutus Core status: triaged Test

IntersectMBO/plutus#6127 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Revisit our PIR tests and see which one can be made into property tests Open

Internal Plutus IR status: triaged Test

IntersectMBO/plutus#6128 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Refactor the `plutus-core` package into three libraries for the three languages Open

Low priority status: triaged tech debt

IntersectMBO/plutus#6130 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
TPLC typechecking conformance tests cover the typechecker Open

Low priority status: triaged tech debt

IntersectMBO/plutus#6133 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Review our test usage and structuring and come up with a policy Open

Low priority status: triaged

IntersectMBO/plutus#6135 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Remove or reimplement Semigroup, Monoid for UniqueMap Open

Internal status: triaged

IntersectMBO/plutus#6138 · 3 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
MultiApply and MultiAbs Open

Good first issue Internal status: triaged

IntersectMBO/plutus#6139 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Improve output of benchmark tests Open

Internal status: triaged

IntersectMBO/plutus#6141 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 17, 2026
[Epic] Data-backed ScriptContext tech debt Open

Internal status: triaged tech debt

IntersectMBO/plutus#6142 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
[Epic] Fix bugs in plutus-combined-exe Open

Internal status: triaged tech debt

IntersectMBO/plutus#6157 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
The evaluate-builtins optimization isn't conservative Open

bug Good first issue Internal optimization Plutus IR status: triaged tech debt

IntersectMBO/plutus#6167 · 1 comment · 1 reaction · 0 assignees · Indexed Sep 17, 2026
Investigate Marlowe validator compilation failure with GHC 9.6.2 Open

Internal status: triaged

IntersectMBO/plutus#6172 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
`serialiseCompiledCode` should be type constrained Open

Internal Plutus Ledger API status: triaged tech debt User experience

IntersectMBO/plutus#6175 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 17, 2026
Speed `defaultCekParameters*` back up? Open

Evaluation Internal Performance status: triaged tech debt Test

IntersectMBO/plutus#6180 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 17, 2026
PIR case-of-case is exponential and causes OOMs Open

bug Low priority status: triaged tech debt

IntersectMBO/plutus#6183 · 6 comments · 0 reactions · 1 assignee · Indexed Sep 17, 2026
QuickCheck `Arbitrary` instances for Ledger types Open

Low priority status: triaged tech debt Test

IntersectMBO/plutus#6210 · 14 comments · 1 reaction · 0 assignees · Indexed Sep 17, 2026

IntersectMBO/plutus

Get new issues in your inbox