Similar repositories to philzook58/egglog0-talk: