Perses: Syntax-Directed Program Reduction
Perses: Syntax-Directed Program Reduction
github.com
GitHub - uw-pluverse/perses: language-agnostic program reducer.
There is a discussion on Hacker News, but feel free to comment here as well.
0 comments