Hacktoberfest 2026: những issue maintainer đã đánh dấu cho tháng Mười, đang mở và phù hợp người mới. Xem issue Hacktoberfest

exercism/lean

Đăng nhập để theo dõi Xem trên GitHub

Exercism exercises in Lean.

exercism/lean có thân thiện với người mới không?

Gần đây có quá ít pull request của người đóng góp bên ngoài gửi tới exercism/lean để nói chúng được merge thường xuyên đến đâu. Hiện chưa có issue nào phù hợp với người mới đang mở; danh sách bên dưới là các issue khác chúng tôi có của kho này.

Star
3
Fork
5
Issue cho người mới đang mở
0
Issue đã lập chỉ mục
10
Merge trung bình
6 phút
Pull request đã merge (30 ngày)
1
Ngôn ngữ chính
Lean
Giấy phép
MIT
Lần push lên GitHub gần nhất
22/9/2026
Lập chỉ mục gần nhất
15/9/2026
Hướng dẫn đóng góp
Quy tắc ứng xử
Label cho người mới
Chưa lập chỉ mục label nào cho người mới

Cách đóng góp cho exercism/lean

  1. Hãy đọc hướng dẫn đóng góp trước: nó cho biết maintainer muốn thay đổi được đề xuất, kiểm thử và review ra sao.
  2. Hãy đọc quy tắc ứng xử: nó áp dụng cho issue và pull request cũng như trò chuyện.
  3. Đóng góp của bạn sẽ được phát hành theo giấy phép MIT của dự án.
  4. Theo dõi kho này để biết khi có issue mới phù hợp với người mới, hoặc xem các issue khác bên dưới.
Phù hợp cho người mới Tất cả
Đang mở Tất cả

Các issue có thể đã có người làm được xếp cuối danh sách. Sắp xếp tất cả theo ngày

  • Concept exercises
    Đang mở
    • Có gì không ổn?

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    exercism/lean#189 · 1 bình luận ·

  • Consider adding proof requirement to some currently easy exercises
    Đang mở
    • Có gì không ổn?

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100

    exercism/lean#175 · 1 bình luận · 1 reaction ·

  • Add `List-Ops` practice exercise
    Đang mở
    • Có gì không ổn?
    x:action/create x:knowledge/elementary x:module/practice-exercise x:size/medium x:type/coding x:type/content

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 48/100

    exercism/lean#158 · 1 bình luận ·

  • Add `Zipper` practice exercise
    Đang mở
    • Có gì không ổn?
    x:action/create x:knowledge/elementary x:module/practice-exercise x:size/large x:type/coding x:type/content

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 48/100

    exercism/lean#157 · 2 bình luận ·

  • Create a CodeMirror mode for Lean
    Đang mở
    • Có gì không ổn?
    x:action/create x:knowledge/none x:size/massive x:type/coding

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100

    exercism/lean#156 · 1 bình luận ·

  • Build a representer
    Đang mở
    • Có gì không ổn?
    x:action/create x:knowledge/advanced x:module/representer x:size/massive x:type/coding

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    exercism/lean#155 ·

  • Build an analyzer
    Đang mở
    • Có gì không ổn?
    x:action/create x:knowledge/advanced x:module/analyzer x:size/massive x:type/coding

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 15/100

    exercism/lean#154 ·

  • Highlight
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 25/100

    exercism/lean#12 · 3 bình luận ·

  • Launch tracking
    Đang mở
    • Có gì không ổn?

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    exercism/lean#1 ·

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.