{"adoption": {"forks": 201, "observed_at": "2026-08-28T04:05:41.122096+00:00", "stars": 1822}, "canonical_url": "https://ross.abutalabs.com/products/egraphs-good-egg", "card": {"archived": false, "artifact_type": "library", "description": "egg is a flexible, high-performance e-graph library", "domain": ["compilers", "programming-languages", "developer-tools"], "enriched": true, "function": ["parser", "compiler", "interpreter", "developer-tools"], "health_score": 76, "homepage": "https://egraphs-good.github.io", "language": "Rust", "license": "MIT", "license_family": "permissive", "maturity": "active", "member_repos": ["egraphs-good/egg"], "name": "egraphs-good/egg", "platform": ["rust", "cross-platform"], "pushed_at": "2026-07-19T16:48:21+00:00", "repo": "egraphs-good/egg", "stars": 1822, "tags": ["e-graphs", "equality-saturation", "term-rewriting", "program-optimization", "program-synthesis", "smt", "rust-library", "algorithms", "research"], "topics": [], "urls": [], "use_cases": ["build a program optimizer using equality saturation", "implement an e-graph data structure in Rust", "write a compiler pass that applies rewrite rules", "build a program synthesizer or verifier", "symbolic math simplification with rewrite rules", "partial evaluation of a lambda calculus"], "what_it_is": "egg is a Rust library implementing e-graphs and equality saturation, providing a fast and flexible data structure for compactly representing many equivalent expressions. It is used to build program optimizers, synthesizers, verifiers, and other tools based on rewrite rules.", "when_to_avoid": ["you want a language-based, Datalog-driven approach with incremental execution - use egglog instead", "you need Python bindings out of the box", "your project has nothing to do with term rewriting or equivalence reasoning"], "when_to_choose": ["you need a high-performance, hackable e-graph library in Rust", "you want to experiment with equality saturation for optimization or synthesis", "you prefer a simpler library design over a Datalog-based system"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/egraphs-good-egg", "repo": "egraphs-good/egg", "role": "main", "score": 74}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:05:41.122096+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-30T03:19:48.327107+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "76667e9f1e5b6d53a3ba80210e19670c31fc4270ea68598f384380e38e21894a", "fetched_at": "2026-08-28T04:05:41.122096+00:00", "kind": "readme", "missing": false, "url": "https://github.com/egraphs-good/egg"}, {"content_hash": "06f9d3e596f6b92f44ec51e1aab0b5ea45bf943eb74f24d0293b20b0d0da7351", "fetched_at": "2026-08-29T10:58:47.976884+00:00", "kind": "homepage", "missing": false, "url": "https://egraphs-good.github.io"}, {"content_hash": "b89895afd438c88177610028e8c5c9a612907d195656059648769b698130db8e", "fetched_at": "2026-08-29T10:58:47.986668+00:00", "kind": "registry_crates", "missing": false, "url": "https://crates.io/api/v1/crates/egg"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:05:41.122096+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-30T03:19:48.327107+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "76667e9f1e5b6d53a3ba80210e19670c31fc4270ea68598f384380e38e21894a", "fetched_at": "2026-08-28T04:05:41.122096+00:00", "kind": "readme", "missing": false, "url": "https://github.com/egraphs-good/egg"}, {"content_hash": "06f9d3e596f6b92f44ec51e1aab0b5ea45bf943eb74f24d0293b20b0d0da7351", "fetched_at": "2026-08-29T10:58:47.976884+00:00", "kind": "homepage", "missing": false, "url": "https://egraphs-good.github.io"}, {"content_hash": "b89895afd438c88177610028e8c5c9a612907d195656059648769b698130db8e", "fetched_at": "2026-08-29T10:58:47.986668+00:00", "kind": "registry_crates", "missing": false, "url": "https://crates.io/api/v1/crates/egg"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-30T03:19:48.327107+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "76667e9f1e5b6d53a3ba80210e19670c31fc4270ea68598f384380e38e21894a", "fetched_at": "2026-08-28T04:05:41.122096+00:00", "kind": "readme", "missing": false, "url": "https://github.com/egraphs-good/egg"}, {"content_hash": "06f9d3e596f6b92f44ec51e1aab0b5ea45bf943eb74f24d0293b20b0d0da7351", "fetched_at": "2026-08-29T10:58:47.976884+00:00", "kind": "homepage", "missing": false, "url": "https://egraphs-good.github.io"}, {"content_hash": "b89895afd438c88177610028e8c5c9a612907d195656059648769b698130db8e", "fetched_at": "2026-08-29T10:58:47.986668+00:00", "kind": "registry_crates", "missing": false, "url": "https://crates.io/api/v1/crates/egg"}], "taxonomy_version": 1}, "health_score": {"inputs": ["days_since_push", "days_since_release", "archived"], "kind": "computed", "method": "health_v1"}, "homepage": {"kind": "observed", "observed_at": "2026-08-28T04:05:41.122096+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:05:41.122096+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:05:41.122096+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-30T03:19:48.327107+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "76667e9f1e5b6d53a3ba80210e19670c31fc4270ea68598f384380e38e21894a", "fetched_at": "2026-08-28T04:05:41.122096+00:00", "kind": "readme", "missing": false, "url": "https://github.com/egraphs-good/egg"}, {"content_hash": "06f9d3e596f6b92f44ec51e1aab0b5ea45bf943eb74f24d0293b20b0d0da7351", "fetched_at": "2026-08-29T10:58:47.976884+00:00", "kind": "homepage", "missing": false, "url": "https://egraphs-good.github.io"}, {"content_hash": "b89895afd438c88177610028e8c5c9a612907d195656059648769b698130db8e", "fetched_at": "2026-08-29T10:58:47.986668+00:00", "kind": "registry_crates", "missing": false, "url": "https://crates.io/api/v1/crates/egg"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:05:41.122096+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:05:41.122096+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-30T03:19:48.327107+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "76667e9f1e5b6d53a3ba80210e19670c31fc4270ea68598f384380e38e21894a", "fetched_at": "2026-08-28T04:05:41.122096+00:00", "kind": "readme", "missing": false, "url": "https://github.com/egraphs-good/egg"}, {"content_hash": "06f9d3e596f6b92f44ec51e1aab0b5ea45bf943eb74f24d0293b20b0d0da7351", "fetched_at": "2026-08-29T10:58:47.976884+00:00", "kind": "homepage", "missing": false, "url": "https://egraphs-good.github.io"}, {"content_hash": "b89895afd438c88177610028e8c5c9a612907d195656059648769b698130db8e", "fetched_at": "2026-08-29T10:58:47.986668+00:00", "kind": "registry_crates", "missing": false, "url": "https://crates.io/api/v1/crates/egg"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:05:41.122096+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:05:41.122096+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:05:41.122096+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-30T03:19:48.327107+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "76667e9f1e5b6d53a3ba80210e19670c31fc4270ea68598f384380e38e21894a", "fetched_at": "2026-08-28T04:05:41.122096+00:00", "kind": "readme", "missing": false, "url": "https://github.com/egraphs-good/egg"}, {"content_hash": "06f9d3e596f6b92f44ec51e1aab0b5ea45bf943eb74f24d0293b20b0d0da7351", "fetched_at": "2026-08-29T10:58:47.976884+00:00", "kind": "homepage", "missing": false, "url": "https://egraphs-good.github.io"}, {"content_hash": "b89895afd438c88177610028e8c5c9a612907d195656059648769b698130db8e", "fetched_at": "2026-08-29T10:58:47.986668+00:00", "kind": "registry_crates", "missing": false, "url": "https://crates.io/api/v1/crates/egg"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:05:41.122096+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:05:41.122096+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-30T03:19:48.327107+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "76667e9f1e5b6d53a3ba80210e19670c31fc4270ea68598f384380e38e21894a", "fetched_at": "2026-08-28T04:05:41.122096+00:00", "kind": "readme", "missing": false, "url": "https://github.com/egraphs-good/egg"}, {"content_hash": "06f9d3e596f6b92f44ec51e1aab0b5ea45bf943eb74f24d0293b20b0d0da7351", "fetched_at": "2026-08-29T10:58:47.976884+00:00", "kind": "homepage", "missing": false, "url": "https://egraphs-good.github.io"}, {"content_hash": "b89895afd438c88177610028e8c5c9a612907d195656059648769b698130db8e", "fetched_at": "2026-08-29T10:58:47.986668+00:00", "kind": "registry_crates", "missing": false, "url": "https://crates.io/api/v1/crates/egg"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-30T03:19:48.327107+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "76667e9f1e5b6d53a3ba80210e19670c31fc4270ea68598f384380e38e21894a", "fetched_at": "2026-08-28T04:05:41.122096+00:00", "kind": "readme", "missing": false, "url": "https://github.com/egraphs-good/egg"}, {"content_hash": "06f9d3e596f6b92f44ec51e1aab0b5ea45bf943eb74f24d0293b20b0d0da7351", "fetched_at": "2026-08-29T10:58:47.976884+00:00", "kind": "homepage", "missing": false, "url": "https://egraphs-good.github.io"}, {"content_hash": "b89895afd438c88177610028e8c5c9a612907d195656059648769b698130db8e", "fetched_at": "2026-08-29T10:58:47.986668+00:00", "kind": "registry_crates", "missing": false, "url": "https://crates.io/api/v1/crates/egg"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-30T03:19:48.327107+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "76667e9f1e5b6d53a3ba80210e19670c31fc4270ea68598f384380e38e21894a", "fetched_at": "2026-08-28T04:05:41.122096+00:00", "kind": "readme", "missing": false, "url": "https://github.com/egraphs-good/egg"}, {"content_hash": "06f9d3e596f6b92f44ec51e1aab0b5ea45bf943eb74f24d0293b20b0d0da7351", "fetched_at": "2026-08-29T10:58:47.976884+00:00", "kind": "homepage", "missing": false, "url": "https://egraphs-good.github.io"}, {"content_hash": "b89895afd438c88177610028e8c5c9a612907d195656059648769b698130db8e", "fetched_at": "2026-08-29T10:58:47.986668+00:00", "kind": "registry_crates", "missing": false, "url": "https://crates.io/api/v1/crates/egg"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-30T03:19:48.327107+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "76667e9f1e5b6d53a3ba80210e19670c31fc4270ea68598f384380e38e21894a", "fetched_at": "2026-08-28T04:05:41.122096+00:00", "kind": "readme", "missing": false, "url": "https://github.com/egraphs-good/egg"}, {"content_hash": "06f9d3e596f6b92f44ec51e1aab0b5ea45bf943eb74f24d0293b20b0d0da7351", "fetched_at": "2026-08-29T10:58:47.976884+00:00", "kind": "homepage", "missing": false, "url": "https://egraphs-good.github.io"}, {"content_hash": "b89895afd438c88177610028e8c5c9a612907d195656059648769b698130db8e", "fetched_at": "2026-08-29T10:58:47.986668+00:00", "kind": "registry_crates", "missing": false, "url": "https://crates.io/api/v1/crates/egg"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 93, "longevity": 100, "rhythm": 35}, "computed_at": "2026-09-02T17:46:02.011165+00:00", "flags": ["no_releases"], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 2687, "days_push": 45, "days_rel": null, "gap_med": null, "n_releases_24m": 0}, "score": 74, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}