GoKawiilNew open-source e-graph tool 'lambda-microegg' adds binder support for lambda calculus rewriting
A developer released lambda-microegg, an e-graph library extending Max's microegg with built-in variable binders, higher-order Miller pattern matching, and capture-avoiding substitution. The tool is available on GitHub along with a WebAssembly browser demo, and includes example benchmarks such as sum-rewrite rules and AC-10 saturation tests compared against the existing egg library.