Proprietario
opencompl
1 repository indicizzato · Vedi su GitHub
-
veir
Verified Intermediate Representation
Lean · 110 stelle
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 52/100
-
dominance bug Aperta
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 35/100
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 67/100
-
CI
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100
-
Adding SCF operations Aperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
-
good first issue
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
-
add tests for fp files Aperta
-
enhancement
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
-
Support --split-input-file Aperta
Difficoltà 3/5 1-2 giorni Idoneità per principianti 55/100
-
LLVM parser
Difficoltà 3/5 1-2 giorni Idoneità per principianti 55/100
-
LLVM parser sqlite
Difficoltà 3/5 1-2 giorni Idoneità per principianti 55/100
-
sqlite parent issue Apertasqlite
-
sqlite
Difficoltà 3/5 1-2 giorni Idoneità per principianti 72/100
-
sqlite
Difficoltà 3/5 1-2 giorni Idoneità per principianti 65/100
-
Prime IR Aperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
-
Add macOS CI Aperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 55/100
-
bug
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
-
Support freeze and poison Aperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
-
Add IR walkers Aperta
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100
-
Lower FastNTT kernel Aperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
-
cleanup
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
-
CI
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
-
CI
Difficoltà 5/5 Più di una settimana Idoneità per principianti 28/100
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100
-
Use iterators Aperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100
-
LLVM `func` parsing Aperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
-
cleanup
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
-
cleanup
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
-
cleanup
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
-
Rationalize theorem names Aperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
-
Run Mathlib linters ApertaCI
Difficoltà 2/5 1-3 ore Idoneità per principianti 20/100