Search results

Cross-platform embedding of HVM4

Status: Open.

#54 In HigherOrderCO/HVM4;

· lancejpollard opened on Mar 2, 2026

CNF does not lift INC through non-lambda nodes

Status: Open.

#37 In HigherOrderCO/HVM4;

· nicolas-abril opened on Feb 5, 2026

JIT Compiler

Status: Open.

#34 In HigherOrderCO/HVM4;

· pjcavalcanti opened on Feb 3, 2026

WNF in CUDA

Status: Open.

#33 In HigherOrderCO/HVM4;

· Lorenzobattistela opened on Feb 2, 2026

Initial set of primitives

Status: Open.

#31 In HigherOrderCO/HVM4;

· pjcavalcanti opened on Feb 2, 2026

WNF in Metal

Status: Open.

#30 In HigherOrderCO/HVM4;

· Lorenzobattistela opened on Feb 1, 2026

Bug: recursive dups cause race conditions

Status: Open.

#21 In HigherOrderCO/HVM4;

· Lorenzobattistela opened on Jan 6, 2026

clang is a really unfortunate name collision

Status: Open.

#10 In HigherOrderCO/HVM4;

· mratsim opened on Dec 28, 2025