Issues

• incremental/faster compile with head symbol perfect hash

  kchanqvq/ggs#16 · Filter by author kchanqvq opened on Sep 12, 2026

• wildcard _ and don't IGNORABLE everything

  kchanqvq/ggs#15 · Filter by author kchanqvq opened on Sep 12, 2026

• Unified analysis

  kchanqvq/ggs#14 · Filter by author kchanqvq opened on Sep 12, 2026

• Look up RISE

  kchanqvq/ggs#12 · Filter by author rupanshusoi opened on Nov 8, 2025

• Look at Symbolics.jl

  kchanqvq/ggs#11 · Filter by author rupanshusoi opened on Nov 7, 2025

• Look at Felix ASPLOS

  kchanqvq/ggs#10 · Filter by author rupanshusoi opened on Nov 7, 2025

• Verify the single var pattern rule compile correctly

  kchanqvq/ggs#7 · Filter by author kchanqvq opened on Oct 29, 2025

• Implement egraph variants

  kchanqvq/ggs#2 · Filter by author kchanqvq opened on Oct 17, 2025

• Optimize get-analysis-data inside do-matches

  kchanqvq/ggs#1 · Filter by author kchanqvq opened on Aug 15, 2025