Dépôts open source suivis de egraphs-good, triés par étoiles.
egg est une bibliothèque e-graph flexible et haute performance
egraphs + datalog !
