Propietario

HigherOrderCO

5 repositorios indexados · Ver en GitHub

Bend
A massively parallel, high-level programming language

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

Cuda · 11343 estrellas
Kind
A modern proof language

Haskell · 3762 estrellas
HVM3
HVM3

Haskell · 305 estrellas
HVM4

C · 121 estrellas

Para principiantes Todo

Abierto Todos

Add when one installs it automatically to path in linux, otherwise new cli looses it Abierto

bug

Dificultad 2/5 1-3 horas Aptitud para principiantes 48/100

HigherOrderCO/Bend#995 · Abierto el 22/9/2026
A constructor name reused by a later definition bypasses #905 and admits Empty Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 62/100

HigherOrderCO/Bend#994 · 1 comentario · 1 reacción · Abierto el 22/9/2026
Equality checking revisits a shared constructor DAG exponentially Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 68/100

HigherOrderCO/Bend#993 · Abierto el 22/9/2026
C backend: a constructor with 256 single-word fields still exceeds CID_ARITY_T after #944 Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 50/100

HigherOrderCO/Bend#991 · Abierto el 22/9/2026
C backend rejects case-distinct constructors because both names become the same CID macro Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 74/100

HigherOrderCO/Bend#989 · Abierto el 22/9/2026
A linear chain of quantity definitions makes kind checking exponential Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 55/100

HigherOrderCO/Bend#984 · Abierto el 22/9/2026
A non-decreasing Nat literal self-call makes descent checking exponential Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 68/100

HigherOrderCO/Bend#983 · Abierto el 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 Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 62/100

HigherOrderCO/Bend#980 · Abierto el 22/9/2026
Shared Array redirect lookup races with atomic reference-count updates Abierto

bug

Dificultad 4/5 3-5 días Aptitud para principiantes 48/100

HigherOrderCO/Bend#975 · Abierto el 21/9/2026
--check-only hangs on a four-line self-application during eager beta reduction Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 72/100

HigherOrderCO/Bend#973 · 1 comentario · Abierto el 21/9/2026
Expose the effective runtime worker count to Bend programs Abierto

enhancement

Dificultad 4/5 3-5 días Aptitud para principiantes 57/100

HigherOrderCO/Bend#971 · Abierto el 21/9/2026
C backend: list reconstruction leaks 16 bytes per call in 2.0.24 Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 68/100

HigherOrderCO/Bend#970 · Abierto el 21/9/2026
"Prompt belongs to another visitor" Abierto

bug

Dificultad 3/5 1-2 días Aptitud para principiantes 50/100

HigherOrderCO/Bend#968 · Abierto el 21/9/2026
Non-zero exit when the checker reports unsafe or foreign dependencies Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 68/100

HigherOrderCO/Bend#966 · Abierto el 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 Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 55/100

HigherOrderCO/Bend#965 · Abierto el 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 Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

HigherOrderCO/Bend#964 · Abierto el 21/9/2026
Show the current version on bend-lang.com Abierto

Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100

HigherOrderCO/Bend#962 · Abierto el 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 Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 48/100

HigherOrderCO/Bend#957 · Abierto el 21/9/2026
A ! call with no available parallelism holds the GPU indefinitely and crashes macOS (WindowServer watchdog) Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 45/100

HigherOrderCO/Bend#942 · Abierto el 21/9/2026
Include argv[0] in `IO.args()` (or add `IO.program_name`) Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 55/100

HigherOrderCO/Bend#935 · Abierto el 21/9/2026
Let compiled binaries pass `--help` through to `IO.args` Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 68/100

HigherOrderCO/Bend#934 · 1 comentario · Abierto el 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 Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

HigherOrderCO/Bend#925 · Abierto el 21/9/2026
Window: a way to go full screen Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

HigherOrderCO/Bend#923 · Abierto el 21/9/2026
Window: a way to grab the mouse for a first-person camera Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

HigherOrderCO/Bend#921 · Abierto el 20/9/2026
A WGSL lane: `-o x.html` with its `!` on WebGPU Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

HigherOrderCO/Bend#920 · 1 comentario · 1 reacción · Abierto el 20/9/2026
add subcomands: bend run c, run cuda, run js Abierto

enhancement

Dificultad 3/5 1-2 días Aptitud para principiantes 68/100

HigherOrderCO/Bend#919 · Abierto el 20/9/2026
Add bend init for a minimal law-backed starter Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 68/100

HigherOrderCO/Bend#917 · Abierto el 20/9/2026
[Bug] Bender sign-in does not auto redirect to dashboard Abierto

bug

Dificultad 4/5 3-5 días Aptitud para principiantes 30/100

HigherOrderCO/Bend#912 · Abierto el 20/9/2026
Would bend have built-in std libs for Http/Tls/Crypto? Abierto

enhancement

Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

HigherOrderCO/Bend#846 · 1 comentario · Abierto el 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) Abierto

Dificultad 2/5 1-3 horas Aptitud para principiantes 88/100

HigherOrderCO/Bend#842 · 2 comentarios · Abierto el 19/9/2026
wnf_at is not thread-safe on shared cells Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 45/100

HigherOrderCO/HVM4#57 · 4 comentarios · Abierto el 17/4/2026
better divergence analysis Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 18/100

HigherOrderCO/HVM4#56 · Abierto el 11/3/2026
Cross-platform embedding of HVM4 Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 25/100

HigherOrderCO/HVM4#54 · 1 reacción · Abierto el 2/3/2026
CNF does not lift INC through non-lambda nodes Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

HigherOrderCO/HVM4#37 · Abierto el 5/2/2026
JIT Compiler Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 30/100

HigherOrderCO/HVM4#34 · Abierto el 3/2/2026
WNF in CUDA Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 30/100

HigherOrderCO/HVM4#33 · 1 comentario · Abierto el 2/2/2026
Initial set of primitives Abierto

HigherOrderCO/HVM4#31 · 1 comentario · 1 asignado · Abierto el 2/2/2026
WNF in Metal Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

HigherOrderCO/HVM4#30 · 1 comentario · Abierto el 1/2/2026
Bug: recursive dups cause race conditions Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

HigherOrderCO/HVM4#21 · 3 comentarios · Abierto el 6/1/2026
clang is a really unfortunate name collision Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 35/100

HigherOrderCO/HVM4#10 · 3 reacciones · Abierto el 28/12/2025
Improve / Simplify HVM3's Collapser Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

HigherOrderCO/HVM3#54 · Abierto el 4/8/2025
Compilation bug on matches without all the constructor fields Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 42/100

HigherOrderCO/HVM3#53 · Abierto el 11/7/2025
Output changed to a bit stranger ! a = 3\na from just 3 Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 35/100

HigherOrderCO/HVM3#24 · 1 comentario · Abierto el 2/2/2025
Scale lang (basically) a superset of cuda for amd gpus Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 15/100

HigherOrderCO/HVM3#23 · 1 comentario · Abierto el 23/1/2025
Feature request: function name / line number for invalid operation Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

HigherOrderCO/HVM3#9 · 1 comentario · Abierto el 15/12/2024
WebGPU Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 20/100

HigherOrderCO/HVM3#2 · 2 reacciones · Abierto el 15/11/2024
Bend to HVML Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 25/100

HigherOrderCO/HVM3#1 · 3 comentarios · Abierto el 14/11/2024
Allow @ Instead of Unicodes Lambda (λ) and For All (∀) Abierto

HigherOrderCO/Kind#604 · 2 asignados · Abierto el 24/10/2024
Equivalence on UnordPair Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 20/100

HigherOrderCO/Kind#586 · 1 comentario · Abierto el 7/9/2024
Syntax in the explanation Abierto

Dificultad 1/5 Menos de una hora Aptitud para principiantes 35/100

HigherOrderCO/Kind#585 · Abierto el 7/9/2024

HigherOrderCO

Recibe los nuevos issues en tu correo