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

CakeML/cakeml

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

CakeML: A Verified Implementation of ML

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

Trong 30 ngày gần nhất, CakeML/cakeml đã merge 23 trên 32 pull request của người đóng góp bên ngoài, và maintainer thường phản hồi trong vòng 2 ngày. Hiện có 3 issue phù hợp với người mới đang mở.

Star
1.2k
Fork
106
Issue cho người mới đang mở
3
Issue đã lập chỉ mục
245
Merge trung bình
2 ngày 5 giờ
Pull request đã merge (30 ngày)
25
Ngôn ngữ chính
Standard ML
Giấy phép
BSD-3-Clause
Lần push lên GitHub gần nhất
28/9/2026
Lập chỉ mục gần nhất
14/9/2026
Không có hướng dẫn đóng góp
Quy tắc ứng xử
Label cho người mới
help wanted good first issue

Cách đóng góp cho CakeML/cakeml

  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. 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 BSD-3-Clause của dự án.
  4. Chọn một trong 3 issue phù hợp với người mới đang mở bên dưới và bình luận rằng bạn muốn làm nó trước khi bắt đầu.
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

  • Pancake unary operators
    Đang mở
    • Có gì không ổn?
    low effort Pancake user experience

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

    CakeML/cakeml#1522 ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Pancake else-if syntax
    Đang mở
    • Có gì không ổn?
    enhancement medium effort Pancake user experience

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

    CakeML/cakeml#1521 ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Pancake global string constants
    Đang mở
    • Có gì không ổn?
    Pancake user experience

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

    CakeML/cakeml#1520 ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Exported assembly has no `.note.GNU-stack`, so linked programs get an executable stack
    Đ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 72/100

    CakeML/cakeml#1516 ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Exploit TMC more in the codebase
    Đang mở
    • Có gì không ổn?
    good first issue looking for LLMs performance

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

    CakeML/cakeml#1513 ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Add bit ops and build a bitset API
    Đang mở
    • Có gì không ổn?
    basis extensions performance

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

    CakeML/cakeml#1512 ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Translator fails to reduce definition to single line but manually applying onelineify then translating succeeds
    Đ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 65/100

    CakeML/cakeml#1503 · 1 bình luận ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Missing mapping symbols in exported assembly
    Đ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 68/100

    CakeML/cakeml#1493 ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Do simple clean up of misc
    Đang mở
    • Có gì không ổn?
    looking for LLMs refactoring

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

    CakeML/cakeml#1489 · 1 bình luận ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Unsafe arithmetic with witnesses of "smallnumness"
    Đang mở
    • Có gì không ổn?
    enhancement medium effort performance

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

    CakeML/cakeml#1485 ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Cleanup astScript
    Đang mở
    • Có gì không ổn?
    looking for LLMs low reward

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

    CakeML/cakeml#1480 ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Improve compilation of Pancake's exception
    Đang mở
    • Có gì không ổn?
    Pancake

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

    CakeML/cakeml#1475 · 1 bình luận ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Check for struct shape removal in Pancake's Return semantics
    Đang mở
    • Có gì không ổn?
    low effort Pancake

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

    CakeML/cakeml#1474 ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Add unlink filesystem operation
    Đ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 65/100

    CakeML/cakeml#1473 ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Reorganise Pancake directory
    Đang mở
    • Có gì không ổn?
    dev experience Pancake refactoring

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

    CakeML/cakeml#1471 · 3 bình luận ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Link binary with (recently added) features - Pancake
    Đang mở
    • Có gì không ổn?
    Pancake

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

    CakeML/cakeml#1469 · 11 bình luận ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Refactor simps in fsFFIProps
    Đang mở
    • Có gì không ổn?
    good first issue refactoring

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

    CakeML/cakeml#1468 ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Make Pancake exceptions more intuitive
    Đang mở
    • Có gì không ổn?
    enhancement medium effort Pancake

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

    CakeML/cakeml#1463 · 1 bình luận ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Pancake __add_with_carry___ has unfortunate parser interactions
    Đang mở
    • Có gì không ổn?
    low effort Pancake refactoring

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

    CakeML/cakeml#1462 · 1 reaction ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Translating mutually recursive datatypes produces a bunch of warnings
    Đang mở
    • Có gì không ổn?
    translator

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

    CakeML/cakeml#1461 ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Populate WordLang's non-GCed cutsets with known non-pointers
    Đ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 48/100

    CakeML/cakeml#1456 ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Reduce DataLang cutsets by rematerialising constants closer to use
    Đ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

    CakeML/cakeml#1455 ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Repeated Array.sub of the same array and index retains a redundant bounds check
    Đang mở
    • Có gì không ổn?
    high reward performance

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

    CakeML/cakeml#1454 ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Local named functions can allocate dead closures after inlining
    Đang mở
    • Có gì không ổn?
    bug high reward performance

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

    CakeML/cakeml#1453 · 1 bình luận ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Negative small-integer multiplication misses the inline fast path
    Đang mở
    • Có gì không ổn?
    bug high reward performance

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

    CakeML/cakeml#1452 · 3 bình luận ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • CakeML checkers should call Runtime.exit with error codes
    Đ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

    CakeML/cakeml#1428 ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Target official RISCV semantics
    Đ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

    CakeML/cakeml#1412 ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Use monad API instead of overloads
    Đang mở
    • Có gì không ổn?
    low effort refactoring

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

    CakeML/cakeml#1411 · 1 bình luận ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Delete old_X from codebase
    Đ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

    CakeML/cakeml#1408 · 1 reaction ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Adding dynamic arrays to CakeML's (extended?) basis
    Đang mở
    • Có gì không ổn?
    basis extensions enhancement

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

    CakeML/cakeml#1386 ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Adding Substring module to CakeML's basis library
    Đang mở
    • Có gì không ổn?
    basis extensions enhancement translator

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

    CakeML/cakeml#1379 · 3 bình luận · 2 reaction ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Remove opens in bootstrap translation
    Đang mở
    • Có gì không ổn?
    dev experience enhancement refactoring

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

    CakeML/cakeml#1373 ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Make Candle's compute_init set a boolean reference
    Đang mở
    • Có gì không ổn?
    enhancement

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

    CakeML/cakeml#1371 ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Scope checking issue with unverified build of pancake
    Đ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 45/100

    CakeML/cakeml#1369 ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Candle implementation is duplicated in an unclear way
    Đ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 45/100

    CakeML/cakeml#1368 ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Could we use the agents to clean up lib code to use Syntax defs?
    Có thể làm lại được Đang mở
    • Có gì không ổn?

    CakeML/cakeml#1347 · 4 bình luận · 1 người được giao ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Add delete const (and delete type) to Candle
    Đ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

    CakeML/cakeml#1343 ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Separate monadic translation from monadic defs
    Đ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

    CakeML/cakeml#1342 · 1 bình luận ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Make int-to-string conversion a primitive in CakeML
    Đang mở
    • Có gì không ổn?
    enhancement

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

    CakeML/cakeml#1334 ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Fix callee-saved registers for Pancake entry points on x64 Windows
    Đ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

    CakeML/cakeml#1333 ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Simplify README.md generation
    Đ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

    CakeML/cakeml#1326 ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Add unsafe stringsub and make translator translate to it.
    Có thể làm lại được Đang mở
    • Có gì không ổn?
    looking for LLMs

    CakeML/cakeml#1320 · 1 bình luận · 1 người được giao ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • cv_compute ml_optimise
    Đang mở
    • Có gì không ổn?
    translator

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

    CakeML/cakeml#1319 · 2 bình luận ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Translator fails coersion when the char list gets stuck in the list
    Đang mở
    • Có gì không ổn?
    low priority low reward translator

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

    CakeML/cakeml#1318 · 3 bình luận ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Make REPL allow user-defined parsers
    Đang mở
    • Có gì không ổn?
    enhancement

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

    CakeML/cakeml#1314 ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • xlet_auto should work with literals
    Đ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

    CakeML/cakeml#1313 ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Fast string -> 'a lookup for use in CakeML
    Đang mở
    • Có gì không ổn?
    basis extensions

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

    CakeML/cakeml#1311 ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Speed up the cf tactics
    Đ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

    CakeML/cakeml#1302 · 4 bình luận ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Remove 'a from wordLang AST onwards
    Đang mở
    • Có gì không ổn?
    high effort medium reward

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

    CakeML/cakeml#1295 ·

    Maintainer thường phản hồi trong vòng 2 ngày

  • Use vectors in candle's compute expressions
    Đ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

    CakeML/cakeml#1293 ·

    Maintainer thường phản hồi trong vòng 2 ngày

Đang hiển thị 100 mục mới nhất

Trang này chỉ liệt kê những gì được lập chỉ mục gần đây. Bộ lọc nâng cao có toàn bộ kho, thu hẹp theo ngôn ngữ, độ khó và thời lượng.

Mở bộ lọc nâng cao

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.