opencompl Open Source Projects

Provided Nix packages use local source repository Open

Difficulty 3/5 1-2 days Newbie friendliness 52/100

opencompl/veir#1514 · Opened Sep 20, 2026

dominance bug Open

opencompl/veir#1448 · 2 comments · 1 assignee · Opened Sep 11, 2026

Move hexDigit and decodeSymbolEscapes to forLean Open

Difficulty 2/5 1-3 hours Newbie friendliness 35/100

opencompl/veir#1394 · Opened Sep 4, 2026

Builtin integer types have no signedness Open

Difficulty 3/5 1-2 days Newbie friendliness 67/100

opencompl/veir#1352 · 1 comment · Opened Sep 3, 2026

Integrate Out-of-Tree MLIR-based compilers into CI Open

CI

Difficulty 4/5 3-5 days Newbie friendliness 48/100

opencompl/veir#1332 · 1 comment · Opened Sep 2, 2026

Add principled support for widening in the Dataflow Framework Open

Difficulty 5/5 Over a week Newbie friendliness 30/100

opencompl/veir#1328 · Opened Sep 2, 2026

Adding SCF operations Open

Difficulty 4/5 3-5 days Newbie friendliness 45/100

opencompl/veir#1324 · Opened Sep 2, 2026

Dead Code Analysis has too many hard coded features (Need features from `BranchOpInterface`) Open

opencompl/veir#1319 · 1 assignee · Opened Sep 1, 2026

Support CIRCT's `seq` dialect Open

good first issue

opencompl/veir#1317 · 1 comment · 1 assignee · Opened Sep 1, 2026

bugs in mixed-width constants Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

opencompl/veir#1298 · 1 comment · Opened Aug 24, 2026

add tests for fp files Open

opencompl/veir#1287 · 1 assignee · Opened Aug 21, 2026

Create a `LocalPatternRewriter` Open

opencompl/veir#1171 · 1 assignee · Opened Jul 30, 2026

support llvm.intr.uadd.with.overflow and its 5 friends Open

opencompl/veir#1125 · 1 assignee · Opened Jul 25, 2026

Support op::create(rewriter, <args>) style builders Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 35/100

opencompl/veir#1114 · Opened Jul 23, 2026

Support --split-input-file Open

Difficulty 3/5 1-2 days Newbie friendliness 55/100

opencompl/veir#975 · 2 comments · Opened Jul 3, 2026

LLVM: properly define a type for `!llvm.struct` instead of UnregisteredAttr Open

LLVM parser

Difficulty 3/5 1-2 days Newbie friendliness 55/100

opencompl/veir#959 · Opened Jun 30, 2026

LLVM: support parsing omitted `!llvm.` prefix when nested Open

LLVM parser sqlite

Difficulty 3/5 1-2 days Newbie friendliness 55/100

opencompl/veir#952 · Opened Jun 30, 2026

sqlite parent issue Open

sqlite

opencompl/veir#947 · 1 assignee · Opened Jun 29, 2026

Precise parsing of ` dense<0> : tensor<4xi8>`. Open

sqlite

Difficulty 3/5 1-2 days Newbie friendliness 72/100

opencompl/veir#943 · Opened Jun 28, 2026

Interpret `mlir__constant.dense` op Open

sqlite

Difficulty 3/5 1-2 days Newbie friendliness 65/100

opencompl/veir#941 · Opened Jun 28, 2026

Prime IR Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

opencompl/veir#937 · Opened Jun 28, 2026

Add macOS CI Open

Difficulty 4/5 3-5 days Newbie friendliness 55/100

opencompl/veir#853 · Opened Jun 11, 2026

Detect difference between non-termination and interpretation error Open

bug

Difficulty 4/5 3-5 days Newbie friendliness 45/100

opencompl/veir#700 · 2 comments · Opened May 30, 2026

Support freeze and poison Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

opencompl/veir#635 · Opened May 23, 2026

Roadmap question: typed-SSA layer in Veir (Com/Expr/Ctxt) — community contribution? Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

opencompl/veir#627 · 2 comments · Opened May 22, 2026

Add IR walkers Open

opencompl/veir#606 · 1 assignee · Opened May 19, 2026

Implement `SymbolRefAttr` and remove `FlatSymbolRefAttr` Open

Difficulty 4/5 3-5 days Newbie friendliness 45/100

opencompl/veir#534 · 1 reaction · Opened May 8, 2026

Computational Floating Point Design Open

Difficulty 5/5 Over a week Newbie friendliness 30/100

opencompl/veir#504 · Opened May 6, 2026

Lower FastNTT kernel Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

opencompl/veir#459 · 3 comments · Opened Apr 24, 2026

Ensure that all proofs passed as arguments are marked `:= by grind` Open

cleanup

Difficulty 4/5 3-5 days Newbie friendliness 48/100

opencompl/veir#444 · Opened Apr 20, 2026

Add CI for profiling proof times Open

CI

Difficulty 4/5 3-5 days Newbie friendliness 35/100

opencompl/veir#294 · 1 comment · Opened Mar 10, 2026

Add Alex Hick's Lean PR Summary/Review Actions Open

CI

Difficulty 5/5 Over a week Newbie friendliness 28/100

opencompl/veir#293 · 1 comment · Opened Mar 10, 2026

Carefully test negative operands to `llvm.constant` Open

Difficulty 3/5 1-2 days Newbie friendliness 45/100

opencompl/veir#261 · 1 comment · Opened Mar 2, 2026

Use iterators Open

Difficulty 4/5 3-5 days Newbie friendliness 25/100

opencompl/veir#198 · Opened Feb 15, 2026

LLVM `func` parsing Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

opencompl/veir#170 · 6 comments · Opened Feb 5, 2026

Add missing InBounds/Fields lemmas for `BlockPtr.setArguments` Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

opencompl/veir#137 · Opened Jan 22, 2026

Make sure our `simp` can trigger Open

cleanup

Difficulty 5/5 Over a week Newbie friendliness 25/100

opencompl/veir#136 · Opened Jan 21, 2026

Figure out wether to use `BlockOperand` or `Successor` Open

cleanup

Difficulty 5/5 Over a week Newbie friendliness 25/100

opencompl/veir#135 · Opened Jan 21, 2026

Implement ByteArray.Slice and use it in the lexer and parser Open

Difficulty 4/5 3-5 days Newbie friendliness 45/100

opencompl/veir#104 · Opened Jan 13, 2026

Remove `missingOps` from `BlockPtr.OpChain` Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

opencompl/veir#47 · Opened Dec 21, 2025

Do not have both pointers and structure in WellFormed structure Open

cleanup

Difficulty 3/5 1-2 days Newbie friendliness 35/100

opencompl/veir#44 · Opened Dec 20, 2025

Rationalize theorem names Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

opencompl/veir#29 · Opened Dec 17, 2025

Run Mathlib linters Open

CI

Difficulty 2/5 1-3 hours Newbie friendliness 20/100

opencompl/veir#12 · Opened Dec 10, 2025

opencompl

Get new issues in your inbox