Issues

• wnf_at is not thread-safe on shared cells

  HigherOrderCO/HVM4#57 · Filter by author o1lo01ol1o opened on Apr 17, 2026
  4

• better divergence analysis

  HigherOrderCO/HVM4#56 · Filter by author u66u opened on Mar 11, 2026

• Cross-platform embedding of HVM4

  HigherOrderCO/HVM4#54 · Filter by author lancejpollard opened on Mar 2, 2026

• CNF does not lift INC through non-lambda nodes

  HigherOrderCO/HVM4#37 · Filter by author nicolas-abril opened on Feb 5, 2026

• JIT Compiler

  HigherOrderCO/HVM4#34 · Filter by author pjcavalcanti opened on Feb 3, 2026

• WNF in CUDA

  HigherOrderCO/HVM4#33 · Filter by author Lorenzobattistela opened on Feb 2, 2026
  1

• Initial set of primitives

  HigherOrderCO/HVM4#31 · Filter by author pjcavalcanti opened on Feb 2, 2026
  1

  

• WNF in Metal

  HigherOrderCO/HVM4#30 · Filter by author Lorenzobattistela opened on Feb 1, 2026
  1

• Bug: recursive dups cause race conditions

  HigherOrderCO/HVM4#21 · Filter by author Lorenzobattistela opened on Jan 6, 2026
  3

• clang is a really unfortunate name collision

  HigherOrderCO/HVM4#10 · Filter by author mratsim opened on Dec 28, 2025