flyingrobots/edict

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

Edict language specifications, Core IR, canonicalization, and conformance fixtures

flyingrobots/edict 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 flyingrobots/edict để nói chúng được merge thường xuyên đến đâu. Hiện có 2 issue phù hợp với người mới đang mở.

Star
0
Fork
0
Issue cho người mới đang mở
2
Issue đã lập chỉ mục
59
Ngôn ngữ chính
Rust
Giấy phép
Apache-2.0
Lần push lên GitHub gần nhất
5/10/2026
Lập chỉ mục gần nhất
6/10/2026
Hướng dẫn đóng góp
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 flyingrobots/edict

  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 Apache-2.0 của dự án.
  4. Chọn một trong 2 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

  • Compare the projection semantic closure by its canonical identity
    Đang mở
    • Có gì không ổn?
    bug

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

    flyingrobots/edict#306 ·

  • Drive a public build of a structured v3 operation through a v3 adapter fixture
    Đang mở
    • Có gì không ổn?
    enhancement release:target-ir

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

    flyingrobots/edict#305 · 1 bình luận · 1 reaction ·

  • Claim Match-arm binders as fresh identities in the v3 order judgment
    Đang mở
    • Có gì không ổn?
    bug enhancement release:target-ir

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

    flyingrobots/edict#304 ·

  • project: a source function the compiler accepts can fail Core encoding with a CLI failure (CoreDigest NestingLimitExceeded) between 62 and 128 nested calls
    Đang mở
    • Có gì không ổn?
    bug

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

    flyingrobots/edict#302 ·

  • Library callers on small threads can still overflow before MAX_SOURCE_NESTING_DEPTH is reached in debug builds
    Đang mở
    • Có gì không ổn?
    bug

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

    flyingrobots/edict#301 ·

  • Replace Python tooling and enforce Rust/TypeScript-only development
    Đang mở
    • Có gì không ổn?
    enhancement type: goalpost

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

    flyingrobots/edict#298 · 1 bình luận · 1 reaction ·

  • Compose the demonstrated optics without losing basis or support
    Đ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 8/100

    flyingrobots/edict#296 ·

  • Compile collection membership operations into one validated candidate
    Đang mở
    • Có gì không ổn?
    enhancement type: goalpost

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

    flyingrobots/edict#295 ·

  • Compile bounded snapshot traversal with complete selection support
    Đang mở
    • Có gì không ổn?
    enhancement type: goalpost

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

    flyingrobots/edict#294 ·

  • Compile one witnessed optional-slot optic and guarded candidate
    Đ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 12/100

    flyingrobots/edict#293 ·

  • Demonstrate a pure optic description on the existing flat text operation
    Đ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 8/100

    flyingrobots/edict#292 ·

  • Define typed immutable content references and semantic value identity
    Đ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 8/100

    flyingrobots/edict#291 ·

  • Roadmap (tracking container): bounded collections, witnessed optics, and authored rope execution
    Đang mở
    • Có gì không ổn?
    type: goalpost

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

    flyingrobots/edict#288 · 1 bình luận · 1 reaction ·

  • Signed addition is refused with the unsigned-overflow diagnostic, even when bounded
    Đang mở
    • Có gì không ổn?
    bug

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

    flyingrobots/edict#276 ·

  • Bounded state-carrying iteration (fold)
    Đ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

    flyingrobots/edict#268 ·

  • Lower bounded for loops that emit effects to Target IR
    Đ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 48/100

    flyingrobots/edict#267 ·

  • Byte primitives: at, count, isUtf8
    Đ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 56/100

    flyingrobots/edict#266 ·

  • Typed failures in pure functions
    Đ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

    flyingrobots/edict#265 ·

  • Function preconditions and flow-sensitive proofs for subtraction and slice
    Đ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

    flyingrobots/edict#264 ·

  • Checked arithmetic, min and max in Edict source
    Đang mở
    • Có gì không ổn?

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

    flyingrobots/edict#263 · 2 bình luận ·

  • Bounded recursion over depth-bounded variants
    Đ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

    flyingrobots/edict#262 · 1 bình luận ·

  • Variant and Option types in Edict source
    Đ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

    flyingrobots/edict#261 · 2 bình luận ·

  • Expose ContentAddressV1 identity inputs to Edict source
    Đ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

    flyingrobots/edict#260 · 1 bình luận ·

  • Suppress errors that depend on failed compiler bindings
    Đ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

    flyingrobots/edict#240 ·

  • Preserve and enforce causal-cell key bounds at the Echo boundary
    Đ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

    flyingrobots/edict#237 ·

  • Add an executable causal-cell compare-and-set capability
    Đ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

    flyingrobots/edict#236 ·

  • Tracking: improve effect diagnostics and compiler recovery
    Đang mở
    • Có gì không ổn?

    Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 20/100

    flyingrobots/edict#232 · 1 bình luận ·

  • Research: generate a Lean-checked certificate for one bounded Core slice
    Đ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

    flyingrobots/edict#230 ·

  • Build an Echo-backed Edict behavioral test runner with TAP 14 reporting
    Đ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

    flyingrobots/edict#208 · 1 bình luận ·

  • Validate roadmap frontier references against live GitHub state
    Đ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

    flyingrobots/edict#205 ·

  • Prove the curated Rust facade package closure without publication
    Đ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 48/100

    flyingrobots/edict#204 ·

  • Implement native Windows lawpack transactional publication
    Đ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

    flyingrobots/edict#198 ·

  • Schema-as-source-of-truth fan-out codegen: is there a mechanism worth borrowing?
    Đang mở
    • Có gì không ổn?
    enhancement question release:developer-tools release:v2-design

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

    flyingrobots/edict#191 · 1 bình luận · 1 reaction ·

  • edict --explain <kind> as a self-documenting diagnostic catalog
    Đang mở
    • Có gì không ổn?
    enhancement release:cli

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

    flyingrobots/edict#190 · 1 bình luận · 1 reaction ·

  • Audit remaining xtask guards for tautological oracles
    Đang mở
    • Có gì không ổn?
    bad-code enhancement

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

    flyingrobots/edict#188 · 1 bình luận · 1 reaction ·

  • edict-syntax crate name undersells its scope
    Đ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

    flyingrobots/edict#186 · 1 bình luận · 1 reaction ·

  • xtask test module is a 4167-line monolith
    Đang mở
    • Có gì không ổn?
    enhancement good first issue

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

    flyingrobots/edict#185 · 1 bình luận · 1 reaction ·

  • Pass complete lawpack closures to provider invocations
    Đang mở
    • Có gì không ổn?
    domain: backend enhancement release:lawpacks release:target-profiles roadmap-a state: blocked

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

    flyingrobots/edict#171 · 1 bình luận · 1 reaction ·

  • Goalpost: Portable WARP semantics across Echo and git-warp
    Đang mở
    • Có gì không ổn?
    domain: backend release:lawpacks release:target-profiles state: blocked type: goalpost

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

    flyingrobots/edict#168 · 1 bình luận · 1 reaction ·

  • GP1: define EchoProofPlanV0 fixture and digest domain
    Đang mở
    • Có gì không ổn?
    campaign:xyph-gate-alpha

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

    flyingrobots/edict#136 · 2 bình luận · 1 reaction ·

  • Deferred: mutation helper tooling for Target IR fixtures
    Đang mở
    • Có gì không ổn?
    enhancement release:developer-tools release:target-ir

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

    flyingrobots/edict#127 · 1 bình luận · 1 reaction ·

  • Deferred: future obstruction continuation modes
    Đang mở
    • Có gì không ổn?
    enhancement release:continuum-stack release:core-ir release:front-end release:target-ir

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

    flyingrobots/edict#126 · 1 bình luận · 1 reaction ·

  • Deferred: obstruction reason display hints and retry metadata
    Đang mở
    • Có gì không ổn?
    enhancement release:continuum-stack release:developer-tools release:front-end

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

    flyingrobots/edict#125 ·

  • Deferred: canonical Echo receipt bytes for obstruction receipts
    Đang mở
    • Có gì không ổn?
    enhancement release:admission release:continuum-stack release:target-profiles

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

    flyingrobots/edict#124 · 1 bình luận · 1 reaction ·

  • Deferred: full WARP TTD counterfactual model for obstruction planning
    Đang mở
    • Có gì không ổn?
    documentation enhancement release:continuum-stack release:target-ir

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

    flyingrobots/edict#123 ·

  • Deferred: counterfactual explorer for obstruction outcomes
    Đang mở
    • Có gì không ổn?
    enhancement release:continuum-stack release:developer-tools release:target-ir

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

    flyingrobots/edict#122 ·

  • Deferred: obstruction reason registry
    Đang mở
    • Có gì không ổn?
    documentation enhancement release:continuum-stack release:target-ir release:target-profiles

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

    flyingrobots/edict#121 ·

  • Deferred: digest chain display for obstruction receipts
    Đang mở
    • Có gì không ổn?
    enhancement release:continuum-stack release:developer-tools release:target-ir

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

    flyingrobots/edict#120 ·

  • Deferred: semantic ladder view for obstruction artifacts
    Đang mở
    • Có gì không ổn?
    enhancement release:continuum-stack release:developer-tools release:target-ir

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

    flyingrobots/edict#119 ·

  • First-class obstruction strands for Supported Outcome Settlement
    Đang mở
    • Có gì không ổn?
    documentation enhancement release:continuum-stack release:target-ir release:target-profiles

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

    flyingrobots/edict#116 · 2 bình luận · 1 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.