Owner
lean-ja
已索引 1 個儲存庫 · 在 GitHub 檢視
-
lean-by-example
コード例で学ぶ Lean 言語
Lean · 192 個 star
可能已有人在做的 issue 排在最後。 全部依時間排序
-
バグ・誤り・不備
難度 1/5 1 小時以內 新手友好度 70/100
lean-ja/lean-by-example#2642 ·
-
バグ・誤り・不備
難度 2/5 1-3 小時 新手友好度 65/100
lean-ja/lean-by-example#2641 ·
-
難度 2/5 1-3 小時 新手友好度 52/100
lean-ja/lean-by-example#2640 ·
-
難度 3/5 1-2 天 新手友好度 35/100
lean-ja/lean-by-example#2639 · 1 則留言 ·
-
バグ・誤り・不備 優先度たかし
難度 1/5 1 小時以內 新手友好度 72/100
lean-ja/lean-by-example#2638 ·
-
subset sum 問題の例未關閉
難度 3/5 1-2 天 新手友好度 45/100
lean-ja/lean-by-example#2637 ·
-
auto-update-lean-fail
難度 4/5 3-5 天 新手友好度 48/100
lean-ja/lean-by-example#2636 ·
-
難度 3/5 1-2 天 新手友好度 45/100
lean-ja/lean-by-example#2633 ·
-
難度 3/5 1-2 天 新手友好度 45/100
lean-ja/lean-by-example#2631 ·
-
grind funCC の使い方未關閉優先度たかし
難度 4/5 3-5 天 新手友好度 48/100
lean-ja/lean-by-example#2630 ·
-
Lean開発者へのインタビュー未關閉資料・教材
難度 4/5 3-5 天 新手友好度 25/100
lean-ja/lean-by-example#2626 ·
-
バグ・誤り・不備
難度 5/5 一週以上 新手友好度 35/100
lean-ja/lean-by-example#2625 ·
-
タクティク早見表を独立させる未關閉バグ・誤り・不備
難度 2/5 1-3 小時 新手友好度 45/100
lean-ja/lean-by-example#2624 ·
-
recall コマンドを紹介する未關閉
難度 2/5 1-3 小時 新手友好度 65/100
lean-ja/lean-by-example#2622 ·
-
難度 3/5 1-2 天 新手友好度 25/100
lean-ja/lean-by-example#2620 ·
-
資料・教材
難度 3/5 1-2 天 新手友好度 35/100
lean-ja/lean-by-example#2617 ·
-
付録アイデア
難度 5/5 一週以上 新手友好度 30/100
lean-ja/lean-by-example#2616 ·
-
n の分割を全列挙する未關閉付録アイデア
難度 3/5 1-2 天 新手友好度 55/100
lean-ja/lean-by-example#2615 ·
-
CLRS Textbook未關閉資料・教材
難度 5/5 一週以上 新手友好度 20/100
lean-ja/lean-by-example#2614 ·
-
要調査
難度 4/5 3-5 天 新手友好度 38/100
lean-ja/lean-by-example#2613 ·
-
優先度たかし
難度 3/5 1-2 天 新手友好度 45/100
lean-ja/lean-by-example#2612 ·
-
有限集合上の自己単射は全射未關閉
難度 2/5 1-3 小時 新手友好度 45/100
lean-ja/lean-by-example#2611 ·
-
InfoTreeを紹介する未關閉優先度たかし
難度 3/5 1-2 天 新手友好度 45/100
lean-ja/lean-by-example#2610 ·
-
leo によるスライド資料未關閉資料・教材
難度 5/5 一週以上 新手友好度 25/100
lean-ja/lean-by-example#2609 ·
-
Enum Handler未關閉付録アイデア
難度 4/5 3-5 天 新手友好度 35/100
lean-ja/lean-by-example#2608 ·
-
不要な skill を削除する未關閉優先度たかし
難度 4/5 3-5 天 新手友好度 35/100
lean-ja/lean-by-example#2607 ·
-
`lia` タクティクを紹介する未關閉優先度たかし
難度 3/5 1-2 天 新手友好度 35/100
lean-ja/lean-by-example#2606 ·
-
Zulipで質問すべき Zulipで質問済 バグ・誤り・不備
難度 3/5 1-2 天 新手友好度 45/100
lean-ja/lean-by-example#2603 ·
-
資料・教材
難度 5/5 一週以上 新手友好度 25/100
lean-ja/lean-by-example#2602 ·
-
整数係数多項式について未關閉資料・教材
難度 5/5 一週以上 新手友好度 25/100
lean-ja/lean-by-example#2601 ·
-
難度 4/5 3-5 天 新手友好度 35/100
lean-ja/lean-by-example#2599 ·
-
付録アイデア
難度 5/5 一週以上 新手友好度 45/100
lean-ja/lean-by-example#2597 ·
-
接頭辞付きの数値未關閉付録アイデア
難度 3/5 1-2 天 新手友好度 55/100
lean-ja/lean-by-example#2596 ·
-
バグ・誤り・不備
難度 2/5 1-3 小時 新手友好度 68/100
lean-ja/lean-by-example#2595 ·
-
Zulipで質問すべき
難度 3/5 1-2 天 新手友好度 55/100
lean-ja/lean-by-example#2594 ·
-
置換の実装未關閉付録アイデア
難度 4/5 3-5 天 新手友好度 48/100
lean-ja/lean-by-example#2593 ·
-
バグ・誤り・不備
難度 2/5 1-3 小時 新手友好度 35/100
lean-ja/lean-by-example#2592 ·
-
メタプログラミング 付録アイデア 構文・パーサ
難度 5/5 一週以上 新手友好度 35/100
lean-ja/lean-by-example#2591 ·
-
要調査
難度 2/5 1-3 小時 新手友好度 45/100
lean-ja/lean-by-example#2590 ·
-
構文・パーサ 要調査
難度 4/5 3-5 天 新手友好度 35/100
lean-ja/lean-by-example#2589 · 1 則留言 ·
-
Zulipで質問すべき
難度 4/5 3-5 天 新手友好度 25/100
lean-ja/lean-by-example#2588 ·
-
バグ・誤り・不備
難度 2/5 1-3 小時 新手友好度 55/100
lean-ja/lean-by-example#2587 ·
-
Zulipで質問すべき
難度 4/5 3-5 天 新手友好度 35/100
lean-ja/lean-by-example#2586 ·
-
`Format` を紹介する未關閉データ型 優先度たかし
難度 2/5 1-3 小時 新手友好度 68/100
lean-ja/lean-by-example#2585 ·
-
Zulipで質問すべき
難度 5/5 一週以上 新手友好度 35/100
lean-ja/lean-by-example#2584 ·
-
メモ
難度 5/5 一週以上 新手友好度 25/100
lean-ja/lean-by-example#2583 ·
-
資料・教材
難度 3/5 1-2 天 新手友好度 35/100
lean-ja/lean-by-example#2582 ·
-
資料・教材
難度 3/5 1-2 天 新手友好度 45/100
lean-ja/lean-by-example#2581 ·
-
ナップサック問題未關閉付録アイデア
難度 5/5 一週以上 新手友好度 35/100
lean-ja/lean-by-example#2577 ·
-
メモ 資料・教材
難度 4/5 3-5 天 新手友好度 35/100
lean-ja/lean-by-example#2576 ·
只顯示最新的 100 筆
這個頁面只列出最近收錄的部分。完整清單在進階篩選裡，可以依語言、難度和預計耗時篩選。