Chủ sở hữu

HigherOrderCO

Đã lập chỉ mục 5 kho mã nguồn · Xem trên GitHub

Bend
A massively parallel, high-level programming language

Rust · 19834 star
HVM1
HVM1 (2022): a massively parallel, optimal functional runtime in Rust

Cuda · 11343 star
Kind
A modern proof language

Haskell · 3762 star
HVM3
HVM3

Haskell · 305 star
HVM4

C · 121 star

Phù hợp cho người mới Tất cả

Đang mở Tất cả

Add when one installs it automatically to path in linux, otherwise new cli looses it Đang mở

bug

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

HigherOrderCO/Bend#995 · Mở ngày 22/9/2026
A constructor name reused by a later definition bypasses #905 and admits Empty Đang mở

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

HigherOrderCO/Bend#994 · 1 bình luận · 1 reaction · Mở ngày 22/9/2026
Equality checking revisits a shared constructor DAG exponentially Đang mở

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

HigherOrderCO/Bend#993 · Mở ngày 22/9/2026
C backend: a constructor with 256 single-word fields still exceeds CID_ARITY_T after #944 Đang mở

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

HigherOrderCO/Bend#991 · Mở ngày 22/9/2026
C backend rejects case-distinct constructors because both names become the same CID macro Đang mở

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

HigherOrderCO/Bend#989 · Mở ngày 22/9/2026
A linear chain of quantity definitions makes kind checking exponential Đang mở

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

HigherOrderCO/Bend#984 · Mở ngày 22/9/2026
A non-decreasing Nat literal self-call makes descent checking exponential Đang mở

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

HigherOrderCO/Bend#983 · Mở ngày 22/9/2026
Two errors name the wrong value: a bad + marker reports another parameter, and a double use in a pattern reports another binder Đang mở

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

HigherOrderCO/Bend#980 · Mở ngày 22/9/2026
Shared Array redirect lookup races with atomic reference-count updates Đang mở

bug

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

HigherOrderCO/Bend#975 · Mở ngày 21/9/2026
--check-only hangs on a four-line self-application during eager beta reduction Đang mở

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

HigherOrderCO/Bend#973 · 1 bình luận · Mở ngày 21/9/2026
Expose the effective runtime worker count to Bend programs Đang mở

enhancement

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

HigherOrderCO/Bend#971 · Mở ngày 21/9/2026
C backend: list reconstruction leaks 16 bytes per call in 2.0.24 Đang mở

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

HigherOrderCO/Bend#970 · Mở ngày 21/9/2026
"Prompt belongs to another visitor" Đang mở

bug

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

HigherOrderCO/Bend#968 · Mở ngày 21/9/2026
Non-zero exit when the checker reports unsafe or foreign dependencies Đang mở

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

HigherOrderCO/Bend#966 · Mở ngày 21/9/2026
A goal that mentions a hub package def is printed as 0x<hash>/json.def, which does not lex when you write it back Đang mở

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

HigherOrderCO/Bend#965 · Mở ngày 21/9/2026
A rewrite has to restate the whole goal, so a proof whose goal embeds a term the program built cannot be written by hand Đang mở

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

HigherOrderCO/Bend#964 · Mở ngày 21/9/2026
Show the current version on bend-lang.com Đang mở

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

HigherOrderCO/Bend#962 · Mở ngày 21/9/2026
A law whose goal is an unfolded loop state with a large fuel numeral still overflows the stack (2.0.24), in term_snf rather than the renderer Đang mở

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

HigherOrderCO/Bend#957 · Mở ngày 21/9/2026
A ! call with no available parallelism holds the GPU indefinitely and crashes macOS (WindowServer watchdog) Đang mở

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

HigherOrderCO/Bend#942 · Mở ngày 21/9/2026
Include argv[0] in `IO.args()` (or add `IO.program_name`) Đang mở

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

HigherOrderCO/Bend#935 · Mở ngày 21/9/2026
Let compiled binaries pass `--help` through to `IO.args` Đang mở

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

HigherOrderCO/Bend#934 · 1 bình luận · Mở ngày 21/9/2026
Metal: a `!` tree's arity decides the lanes' load; the same leaves take 12 ms four-way, 23-34 ms four-way pruned, 3 ms two-way Đang mở

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

HigherOrderCO/Bend#925 · Mở ngày 21/9/2026
Window: a way to go full screen Đang mở

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

HigherOrderCO/Bend#923 · Mở ngày 21/9/2026
Window: a way to grab the mouse for a first-person camera Đang mở

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

HigherOrderCO/Bend#921 · Mở ngày 20/9/2026
A WGSL lane: `-o x.html` with its `!` on WebGPU Đang mở

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

HigherOrderCO/Bend#920 · 1 bình luận · 1 reaction · Mở ngày 20/9/2026
add subcomands: bend run c, run cuda, run js Đang mở

enhancement

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

HigherOrderCO/Bend#919 · Mở ngày 20/9/2026
Add bend init for a minimal law-backed starter Đang mở

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

HigherOrderCO/Bend#917 · Mở ngày 20/9/2026
[Bug] Bender sign-in does not auto redirect to dashboard Đang mở

bug

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

HigherOrderCO/Bend#912 · Mở ngày 20/9/2026
Would bend have built-in std libs for Http/Tls/Crypto? Đang mở

enhancement

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

HigherOrderCO/Bend#846 · 1 bình luận · Mở ngày 19/9/2026
macOS: window_pump drains the queue without running the run loop, so input reaches the app frames late (title-bar drag lags ~70 ms) Đang mở

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

HigherOrderCO/Bend#842 · 2 bình luận · Mở ngày 19/9/2026
wnf_at is not thread-safe on shared cells Đang mở

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

HigherOrderCO/HVM4#57 · 4 bình luận · Mở ngày 17/4/2026
better divergence analysis Đang mở

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

HigherOrderCO/HVM4#56 · Mở ngày 11/3/2026
Cross-platform embedding of HVM4 Đang mở

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

HigherOrderCO/HVM4#54 · 1 reaction · Mở ngày 2/3/2026
CNF does not lift INC through non-lambda nodes Đang mở

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

HigherOrderCO/HVM4#37 · Mở ngày 5/2/2026
JIT Compiler Đang mở

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

HigherOrderCO/HVM4#34 · Mở ngày 3/2/2026
WNF in CUDA Đang mở

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

HigherOrderCO/HVM4#33 · 1 bình luận · Mở ngày 2/2/2026
Initial set of primitives Đang mở

HigherOrderCO/HVM4#31 · 1 bình luận · 1 người được giao · Mở ngày 2/2/2026
WNF in Metal Đang mở

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

HigherOrderCO/HVM4#30 · 1 bình luận · Mở ngày 1/2/2026
Bug: recursive dups cause race conditions Đang mở

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

HigherOrderCO/HVM4#21 · 3 bình luận · Mở ngày 6/1/2026
clang is a really unfortunate name collision Đang mở

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

HigherOrderCO/HVM4#10 · 3 reaction · Mở ngày 28/12/2025
Improve / Simplify HVM3's Collapser Đang mở

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

HigherOrderCO/HVM3#54 · Mở ngày 4/8/2025
Compilation bug on matches without all the constructor fields Đang mở

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

HigherOrderCO/HVM3#53 · Mở ngày 11/7/2025
Output changed to a bit stranger ! a = 3\na from just 3 Đang mở

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

HigherOrderCO/HVM3#24 · 1 bình luận · Mở ngày 2/2/2025
Scale lang (basically) a superset of cuda for amd gpus Đang mở

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

HigherOrderCO/HVM3#23 · 1 bình luận · Mở ngày 23/1/2025
Feature request: function name / line number for invalid operation Đang mở

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

HigherOrderCO/HVM3#9 · 1 bình luận · Mở ngày 15/12/2024
WebGPU Đang mở

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

HigherOrderCO/HVM3#2 · 2 reaction · Mở ngày 15/11/2024
Bend to HVML Đang mở

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

HigherOrderCO/HVM3#1 · 3 bình luận · Mở ngày 14/11/2024
Allow @ Instead of Unicodes Lambda (λ) and For All (∀) Đang mở

HigherOrderCO/Kind#604 · 2 người được giao · Mở ngày 24/10/2024
Equivalence on UnordPair Đang mở

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

HigherOrderCO/Kind#586 · 1 bình luận · Mở ngày 7/9/2024
Syntax in the explanation Đang mở

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

HigherOrderCO/Kind#585 · Mở ngày 7/9/2024

HigherOrderCO

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