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

runtimeverification/kup

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

K and Semantics Distribution Tool

runtimeverification/kup 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 runtimeverification/kup để 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
10
Fork
2
Issue cho người mới đang mở
0
Issue đã lập chỉ mục
18
Ngôn ngữ chính
Python
Giấy phép
BSD-3-Clause
Lần push lên GitHub gần nhất
18/6/2026
Lập chỉ mục gần nhất
21/9/2026
Không có hướng dẫn đóng góp
Không có 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
Không có pull request nào được merge trong 30 ngày

Cách đóng góp cho runtimeverification/kup

  1. Dự án không có hướng dẫn đóng góp, vì vậy hãy bắt đầu từ README và vài pull request vừa được merge để xem thay đổi được đề xuất thế nào.
  2. Đóng góp của bạn sẽ được phát hành theo giấy phép BSD-3-Clause 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

  • Check version of already installed nix binary
    Đ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 52/100

    runtimeverification/kup#149 ·

  • `--version` argument in `kup install` doesn't disambiguate between paths and branch names
    Đ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 35/100

    runtimeverification/kup#138 ·

  • Update `kup list` to show nicer and shorter version strings again
    Có thể làm lại được Đang mở
    • Có gì không ổn?

    runtimeverification/kup#137 · 1 bình luận · 1 người được giao ·

  • Add more Nix versions to test CI workflow
    Có thể làm lại được Đang mở
    • Có gì không ổn?

    runtimeverification/kup#136 · 1 người được giao ·

  • Kup fails to uninstall nix profile packages by index on new nix and nix manifest versions
    Có thể làm lại được Đang mở
    • Có gì không ổn?

    runtimeverification/kup#135 · 1 người được giao ·

  • kup doesn't work in `--no-daemon` (single user) Nix installs
    Đ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 35/100

    runtimeverification/kup#121 · 1 bình luận ·

  • Do not use terminal control codes on `kup` output when it's not a terminal
    Đang mở
    • Có gì không ổn?

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

    runtimeverification/kup#120 ·

  • Use "regular" Unicode chars for status display
    Đang mở
    • Có gì không ổn?

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

    runtimeverification/kup#119 ·

  • Can we have a simple description of the problem `kup` solves?
    Đang mở
    • Có gì không ổn?

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

    runtimeverification/kup#112 · 1 bình luận ·

  • Feat: allow passing multiple install targets in CLI
    Đ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 55/100

    runtimeverification/kup#110 ·

  • kup ignores shell env settings, must pass env directly
    Đ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 45/100

    runtimeverification/kup#108 · 4 bình luận ·

  • Fix nix version in installer and possibly emit a warning if nix version newer than tested with
    Đ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 25/100

    runtimeverification/kup#105 ·

  • Log exceptions rather than swallow them
    Đang mở
    • Có gì không ổn?

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

    runtimeverification/kup#96 ·

  • Installing `kup` fails with `error: opening directory ... No such file or directory`
    Đ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

    runtimeverification/kup#94 ·

  • Warning on `kup install k`
    Đ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

    runtimeverification/kup#93 ·

  • Incosistent detection of installed packages
    Đang mở
    • Có gì không ổn?
    enhancement

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

    runtimeverification/kup#90 ·

  • `kup` install K does not work to build blockchain-k-plugin
    Đ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

    runtimeverification/kup#57 ·

  • `k2nix` proposal
    Đ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 20/100

    runtimeverification/kup#49 · 1 bình luận · 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.