sdiehl/egg-sandwich - Gitstar Ranking

Gitstar Ranking

Users
Organizations
Repositories
Rankings

Sign in with GitHub

sdiehl

Fetched on 2026/01/31 12:38

sdiehl / egg-sandwich

Examples of using egraphs for term-rewriting - View it on GitHub

https://www.stephendiehl.com/posts/egraphs/

Star

3

Rank

3165341

Released by @k0kubun in December 2014. Fork me on GitHub.