Issues

• Permit open functions as arguments to the mapAccum (and so fold, scan, etc.) combinators

  enhancementhelp wanted
  Mikolaj/horde-ad#127 · Filter by author Mikolaj opened on Oct 3, 2025

• Factor out the triple of function, its gradient and derivative from AstMapAccumRDer and let the user provide handwritten derivatives

  good first issuehelp wanted
  Mikolaj/horde-ad#125 · Filter by author Mikolaj opened on Aug 9, 2025

• Compile the AstTensor programs to CPU intead of interpreting them

  help wanted
  Mikolaj/horde-ad#124 · Filter by author Mikolaj opened on Aug 8, 2025

• Extend interval arithmetic to quot and rem operations

  good first issuehelp wanted
  Mikolaj/horde-ad#122 · Filter by author Mikolaj opened on Jul 15, 2025

• Get pretty-printed AST closer to round-tripping

  good first issuehelp wanted
  Mikolaj/horde-ad#121 · Filter by author Mikolaj opened on Jul 15, 2025

• Pretty-print AST as szip, sunzip, snestS, sunNestS, etc., instead of just tconvert or worse

  good first issuehelp wanted
  Mikolaj/horde-ad#120 · Filter by author Mikolaj opened on Jul 15, 2025
  1

• Make index-typed AST terms first-class in a way convenient for the user

  Mikolaj/horde-ad#119 · Filter by author Mikolaj opened on Jul 7, 2025

• Add ADVal instances that correspond to what package ad has

  good first issuehelp wanted
  Mikolaj/horde-ad#118 · Filter by author Mikolaj opened on Jun 26, 2025

• Update the neural network that learns XOR to the current horde-ad API

  good first issuehelp wanted
  Mikolaj/horde-ad#116 · Filter by author Mikolaj opened on Jun 10, 2025

• Implement classic AD benchmarks/examples with horde-ad

  help wanted
  Mikolaj/horde-ad#115 · Filter by author Mikolaj opened on Jun 9, 2025
  9

  

• Generalize AstSum0S and AstSum and also AstDot0S and AstDot1InS

  help wanted
  Mikolaj/horde-ad#114 · Filter by author Mikolaj opened on May 12, 2025
  4

• Generalize the QuickCheck gradient vs derivative vs perturbation test to other neural network examples

  help wanted
  Mikolaj/horde-ad#111 · Filter by author Mikolaj opened on Feb 21, 2025

• Think about parallel execution of our mapAccums and their derivatives (associative operations?)

  postpone
  Mikolaj/horde-ad#109 · Filter by author Mikolaj opened on Feb 25, 2024
  1

• Get rid of AllowAmbiguousTypes

  Mikolaj/horde-ad#108 · Filter by author Mikolaj opened on Jan 13, 2024
  1

• Implement checkpointing

  postpone
  Mikolaj/horde-ad#107 · Filter by author Mikolaj opened on Sep 2, 2023

• Try equality saturation for our simplifcation/vectorization rewriting system

  help wanted
  Mikolaj/horde-ad#103 · Filter by author Mikolaj opened on May 11, 2023
  11

• Implement automatic sharing for the surface language code

  help wanted
  Mikolaj/horde-ad#102 · Filter by author Mikolaj opened on Apr 18, 2023
  4

• Add tupdate to Tensor class and start simplifying tscatter

  Mikolaj/horde-ad#101 · Filter by author Mikolaj opened on Apr 16, 2023
  8

• Don't use rule (D) for AstAppend and let simplification pass through

  help wanted
  Mikolaj/horde-ad#98 · Filter by author Mikolaj opened on Apr 2, 2023
  7

• Define a Tensor instance that does the fast forward derivative computation

  postpone
  Mikolaj/horde-ad#94 · Filter by author Mikolaj opened on Mar 20, 2023

• Make assertEqualUpToEpsilon show the correct line number

  help wanted
  Mikolaj/horde-ad#88 · Filter by author Mikolaj opened on Mar 6, 2023

• Generate random Tensor (and Boolean and Integral) programs

  help wanted
  Mikolaj/horde-ad#86 · Filter by author Mikolaj opened on Feb 21, 2023
  1

• Higher-order functions in the API?

  Mikolaj/horde-ad#82 · Filter by author tomsmeding opened on Feb 5, 2023
  4

• Add a fusion transformation partially inverse to vectorization

  help wanted
  Mikolaj/horde-ad#80 · Filter by author Mikolaj opened on Jan 29, 2023
  5

• Future work: vectorize using rugged tensors (irregular arrays) and/or Blelloch's flattening

  postpone
  Mikolaj/horde-ad#79 · Filter by author Mikolaj opened on Jan 26, 2023
  7