lambdaclass/lambda_compiler_kit
Lambda Compiler Kit: formally verified toolkit for building compilers
lambdaclass/lambda_compiler_kit 對新手友好嗎？
近期外部貢獻者向 lambdaclass/lambda_compiler_kit 提交的 PR 還不夠多，暫時無法判斷它們被合併的比例。 目前有 3 個適合新手的 issue 開放。
- 星號
- 2
- 分支
- 1
- 開放的新手 issue
- 3
- 已索引 issue
- 28
- 主要語言
- Lean
- 授權條款
- MIT
- 最近 GitHub push
- 2026年2月27日
- 最近索引
- 2026年9月18日
- 貢獻指南
- 沒有貢獻指南
- 行為準則
- 沒有行為準則
- 新手標籤
- 沒有已索引的新手標籤
- PR 合併指標
- 30 天內沒有已合併 PR
如何為 lambdaclass/lambda_compiler_kit 做貢獻
- 這個專案沒有貢獻指南，可以先讀 README，再看幾個最近合併的 PR，了解變更是怎麼提交的。
- 你的貢獻將以該專案的 MIT 授權條款發布。
- 從下方 3 個開放的新手友好 issue 中選一個，開始之前先留言說明你想認領它。
可能已有人在做的 issue 排在最後。 全部依時間排序
-
難度 2/5 1-3 小時 新手友好度 50/100
-
難度 1/5 1 小時以內 新手友好度 55/100
-
難度 4/5 3-5 天 新手友好度 42/100
-
難度 4/5 3-5 天 新手友好度 48/100
-
難度 1/5 1 小時以內 新手友好度 58/100
-
難度 1/5 1 小時以內 新手友好度 72/100
-
難度 4/5 3-5 天 新手友好度 35/100
-
難度 4/5 3-5 天 新手友好度 42/100
-
難度 4/5 3-5 天 新手友好度 38/100
-
難度 4/5 3-5 天 新手友好度 42/100
-
難度 1/5 1 小時以內 新手友好度 68/100
-
難度 2/5 1-3 小時 新手友好度 55/100
-
難度 4/5 3-5 天 新手友好度 35/100
-
難度 5/5 一週以上 新手友好度 25/100
-
難度 2/5 1-3 小時 新手友好度 68/100
-
難度 4/5 3-5 天 新手友好度 45/100
-
難度 5/5 一週以上 新手友好度 35/100
-
難度 2/5 1-3 小時 新手友好度 55/100
-
難度 4/5 3-5 天 新手友好度 45/100
-
難度 2/5 1-3 小時 新手友好度 58/100
-
難度 4/5 3-5 天 新手友好度 45/100
-
難度 2/5 1-3 小時 新手友好度 55/100
-
難度 5/5 一週以上 新手友好度 35/100
-
難度 5/5 一週以上 新手友好度 25/100
-
難度 3/5 1-2 天 新手友好度 55/100
-
難度 4/5 3-5 天 新手友好度 38/100
-
難度 4/5 3-5 天 新手友好度 42/100
-
Enable --wfail axiom-guard gate once warnings are clean可能已有人在做 關聯的 PR 仍在進行中或已合併。 未關閉enhancement
難度 4/5 3-5 天 新手友好度 48/100