Chủ sở hữu
opencompl
Đã lập chỉ mục 1 kho mã nguồn · Xem trên GitHub
-
veir
Verified Intermediate Representation
Lean · 110 star
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 52/100
-
dominance bug Đang mở
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 35/100
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 67/100
-
CI
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 30/100
-
Adding SCF operations Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
-
Support CIRCT's `seq` dialect Đang mởgood first issue
-
bugs in mixed-width constants Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
add tests for fp files Đang mở
-
Create a `LocalPatternRewriter` Đang mở
-
enhancement
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
-
Support --split-input-file Đang mở
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 55/100
-
LLVM parser
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 55/100
-
LLVM parser sqlite
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 55/100
-
sqlite parent issue Đang mởsqlite
-
sqlite
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 72/100
-
sqlite
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 65/100
-
Prime IR Đang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
Add macOS CI Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 55/100
-
bug
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
-
Support freeze and poison Đang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
Add IR walkers Đang mở
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 30/100
-
Lower FastNTT kernel Đang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
-
cleanup
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
-
Add CI for profiling proof times Đang mởCI
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
CI
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 28/100
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100
-
Use iterators Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 25/100
-
LLVM `func` parsing Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100
-
Make sure our `simp` can trigger Đang mởcleanup
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
cleanup
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100
-
cleanup
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100
-
Rationalize theorem names Đang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
Run Mathlib linters Đang mởCI
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 20/100