オーナー
opencompl
索引済みのリポジトリ 1 件 · GitHub で見る
-
veir
Verified Intermediate Representation
Lean · スター 110 個
-
難易度 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 1週間以上 初心者へのやさしさ 30/100
-
難易度 4/5 3〜5日 初心者へのやさしさ 45/100
-
good first issue
-
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
-
enhancement
難易度 5/5 1週間以上 初心者へのやさしさ 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 parent issue オープンsqlite
-
sqlite
難易度 3/5 1〜2日 初心者へのやさしさ 72/100
-
sqlite
難易度 3/5 1〜2日 初心者へのやさしさ 65/100
-
Prime IR オープン
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
-
Add macOS CI オープン
難易度 4/5 3〜5日 初心者へのやさしさ 55/100
-
bug
難易度 4/5 3〜5日 初心者へのやさしさ 45/100
-
難易度 5/5 1週間以上 初心者へのやさしさ 35/100
-
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
-
Add IR walkers オープン
-
難易度 4/5 3〜5日 初心者へのやさしさ 45/100
-
難易度 5/5 1週間以上 初心者へのやさしさ 30/100
-
Lower FastNTT kernel オープン
難易度 5/5 1週間以上 初心者へのやさしさ 35/100
-
cleanup
難易度 4/5 3〜5日 初心者へのやさしさ 48/100
-
CI
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
-
CI
難易度 5/5 1週間以上 初心者へのやさしさ 28/100
-
難易度 3/5 1〜2日 初心者へのやさしさ 45/100
-
Use iterators オープン
難易度 4/5 3〜5日 初心者へのやさしさ 25/100
-
LLVM `func` parsing オープン
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
-
難易度 3/5 1〜2日 初心者へのやさしさ 35/100
-
cleanup
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
-
cleanup
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
-
難易度 4/5 3〜5日 初心者へのやさしさ 45/100
-
難易度 3/5 1〜2日 初心者へのやさしさ 35/100
-
cleanup
難易度 3/5 1〜2日 初心者へのやさしさ 35/100
-
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
-
Run Mathlib linters オープンCI
難易度 2/5 1〜3時間 初心者へのやさしさ 20/100