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

argumentcomputer/yatima

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

A zero-knowledge Lean4 compiler and kernel

argumentcomputer/yatima 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 argumentcomputer/yatima để 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
146
Fork
12
Issue cho người mới đang mở
0
Issue đã lập chỉ mục
11
Ngôn ngữ chính
Lean
Giấy phép
MIT
Lần push lên GitHub gần nhất
20/4/2023
Lập chỉ mục gần nhất
14/9/2026
Hướng dẫn đóng góp
Không có quy tắc ứng xử
Label cho người mới
good first issue
Không có pull request nào được merge trong 30 ngày

Cách đóng góp cho argumentcomputer/yatima

  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. Đóng góp của bạn sẽ được phát hành theo giấy phép MIT của dự án.
  3. 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

  • Documentation for Lean Version Upgrade
    Đ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 30/100

    argumentcomputer/yatima#280 ·

  • Commit the typechecker as an actual lambda
    Đang mở
    • Có gì không ổn?
    enhancement infra

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

    argumentcomputer/yatima#275 ·

  • Simplify the typechecker by removing lambda inference
    Đang mở
    • Có gì không ổn?
    enhancement typechecker

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

    argumentcomputer/yatima#272 ·

  • need new flake.nix for Poseidon dependency
    Đang mở
    • Có gì không ổn?

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

    argumentcomputer/yatima#249 ·

  • Constant -> Declaration
    Đang mở
    • Có gì không ổn?
    good first issue

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

    argumentcomputer/yatima#245 ·

  • Typechecker stack overflow
    Đang mở
    • Có gì không ổn?
    bug typechecker

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

    argumentcomputer/yatima#243 ·

  • Negative typecheck tests
    Đang mở
    • Có gì không ổn?
    typechecker

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

    argumentcomputer/yatima#181 ·

  • Document everything
    Có thể làm lại được Đang mở
    • Có gì không ổn?
    documentation

    argumentcomputer/yatima#158 · 1 người được giao ·

  • Proposal: Make the Yatima.Compiler.Graph a generic library
    Có thể làm lại được Đang mở
    • Có gì không ổn?

    argumentcomputer/yatima#88 · 5 bình luận · 2 người được giao ·

  • Remove thunks from the typechecker
    Có thể đã có người làm Đang mở
    • Có gì không ổn?
    enhancement typechecker

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

    argumentcomputer/yatima#268 · 1 reaction ·

  • Compiler to the EVM through Yul
    Có thể đã có người làm Đ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 15/100

    argumentcomputer/yatima#238 · 2 reaction ·

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.