GitHub repository: Denisius664/egraph
Primary language: JavaScript
Description: stable_version