Owner
opencompl
已索引 1 个仓库 · 在 GitHub 查看
-
veir
Verified Intermediate Representation
Lean · 110 个 star
-
难度 3/5 1-2 天 新手友好度 52/100
-
dominance bug 未关闭
-
难度 2/5 1-3 小时 新手友好度 35/100
-
难度 3/5 1-2 天 新手友好度 67/100
-
CI
难度 4/5 3-5 天 新手友好度 48/100
-
难度 5/5 一周以上 新手友好度 30/100
-
难度 4/5 3-5 天 新手友好度 45/100
-
good first issue
-
难度 4/5 3-5 天 新手友好度 35/100
-
enhancement
难度 5/5 一周以上 新手友好度 35/100
-
难度 3/5 1-2 天 新手友好度 55/100
-
LLVM parser
难度 3/5 1-2 天 新手友好度 55/100
-
LLVM parser sqlite
难度 3/5 1-2 天 新手友好度 55/100
-
sqlite
-
sqlite
难度 3/5 1-2 天 新手友好度 72/100
-
sqlite
难度 3/5 1-2 天 新手友好度 65/100
-
Prime IR 未关闭
难度 5/5 一周以上 新手友好度 25/100
-
Add macOS CI 未关闭
难度 4/5 3-5 天 新手友好度 55/100
-
bug
难度 4/5 3-5 天 新手友好度 45/100
-
难度 5/5 一周以上 新手友好度 35/100
-
难度 5/5 一周以上 新手友好度 25/100
-
Add IR walkers 未关闭
-
难度 4/5 3-5 天 新手友好度 45/100
-
难度 5/5 一周以上 新手友好度 30/100
-
难度 5/5 一周以上 新手友好度 35/100
-
cleanup
难度 4/5 3-5 天 新手友好度 48/100
-
CI
难度 4/5 3-5 天 新手友好度 35/100
-
CI
难度 5/5 一周以上 新手友好度 28/100
-
难度 3/5 1-2 天 新手友好度 45/100
-
Use iterators 未关闭
难度 4/5 3-5 天 新手友好度 25/100
-
难度 4/5 3-5 天 新手友好度 35/100
-
难度 3/5 1-2 天 新手友好度 35/100
-
cleanup
难度 5/5 一周以上 新手友好度 25/100
-
cleanup
难度 5/5 一周以上 新手友好度 25/100
-
难度 4/5 3-5 天 新手友好度 45/100
-
难度 3/5 1-2 天 新手友好度 35/100
-
cleanup
难度 3/5 1-2 天 新手友好度 35/100
-
难度 5/5 一周以上 新手友好度 25/100
-
CI
难度 2/5 1-3 小时 新手友好度 20/100