{"adoption": {"forks": 242, "observed_at": "2026-08-28T04:03:46.908811+00:00", "stars": 1152}, "canonical_url": "https://ross.abutalabs.com/products/souffle", "card": {"archived": false, "artifact_type": "library", "description": "Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification. ", "domain": ["programming-languages", "compilers", "developer-tools"], "enriched": true, "function": ["compiler", "interpreter", "programming-language", "static-site-generator"], "health_score": 87, "homepage": "http://souffle-lang.github.io/", "language": "C++", "license": "UPL-1.0", "license_family": "other", "maturity": "active", "member_repos": ["souffle-lang/souffle"], "name": "souffle-lang/souffle", "platform": ["windows", "cpp", "cli"], "pushed_at": "2026-07-13T03:45:37+00:00", "repo": "souffle-lang/souffle", "stars": 1152, "tags": ["datalog", "static-analysis", "parallel-cpp-synthesis", "logic-programming", "points-to-analysis", "taint-analysis", "static-code-analysis", "linux", "macos"], "topics": ["datalog", "static-code-analysis", "souffle", "translator", "logic-programming"], "urls": [], "use_cases": ["write points-to analysis for Java in Datalog", "build a taint analysis tool", "prototype static analyses in logic", "compile Datalog to fast parallel C++", "run large-scale program analysis over facts from SQLite", "debug and profile Datalog analyses with provenance"], "what_it_is": "Soufflé is a Datalog variant language for expressing static analyses in Horn clauses, with records, strong typing, aggregation, and components. It compiles logic specifications into efficient native parallel C++ programs and also offers an interpreter mode.", "when_to_avoid": ["you need a general-purpose programming language", "you want a lightweight embedded Datalog library inside another runtime without a compilation step", "your analysis is small enough that a simple in-memory Datalog engine suffices"], "when_to_choose": ["you need high-performance, large-scale static analysis expressed declaratively", "you want Datalog compiled to native parallel C++", "you need Datalog extensions like records, ADTs, aggregation, choice, or subsumption"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/souffle", "repo": "souffle-lang/souffle", "role": "main", "score": 64}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:03:46.908811+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-30T06:33:34.339574+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "41172e4e557eb7262029d92b4bfb7d4f3d6acffca347894b6f26a66cbb965fc7", "fetched_at": "2026-08-28T04:03:46.908811+00:00", "kind": "readme", "missing": false, "url": "https://github.com/souffle-lang/souffle"}, {"content_hash": "98769c74a3710dda2b8a97eccfdc9fd29cd7cf76efee6f76319b27734d32c573", "fetched_at": "2026-08-29T12:38:15.799645+00:00", "kind": "homepage", "missing": false, "url": "http://souffle-lang.github.io/"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:03:46.908811+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-30T06:33:34.339574+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "41172e4e557eb7262029d92b4bfb7d4f3d6acffca347894b6f26a66cbb965fc7", "fetched_at": "2026-08-28T04:03:46.908811+00:00", "kind": "readme", "missing": false, "url": "https://github.com/souffle-lang/souffle"}, {"content_hash": "98769c74a3710dda2b8a97eccfdc9fd29cd7cf76efee6f76319b27734d32c573", "fetched_at": "2026-08-29T12:38:15.799645+00:00", "kind": "homepage", "missing": false, "url": "http://souffle-lang.github.io/"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-30T06:33:34.339574+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "41172e4e557eb7262029d92b4bfb7d4f3d6acffca347894b6f26a66cbb965fc7", "fetched_at": "2026-08-28T04:03:46.908811+00:00", "kind": "readme", "missing": false, "url": "https://github.com/souffle-lang/souffle"}, {"content_hash": "98769c74a3710dda2b8a97eccfdc9fd29cd7cf76efee6f76319b27734d32c573", "fetched_at": "2026-08-29T12:38:15.799645+00:00", "kind": "homepage", "missing": false, "url": "http://souffle-lang.github.io/"}], "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:03:46.908811+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:03:46.908811+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:03:46.908811+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-30T06:33:34.339574+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "41172e4e557eb7262029d92b4bfb7d4f3d6acffca347894b6f26a66cbb965fc7", "fetched_at": "2026-08-28T04:03:46.908811+00:00", "kind": "readme", "missing": false, "url": "https://github.com/souffle-lang/souffle"}, {"content_hash": "98769c74a3710dda2b8a97eccfdc9fd29cd7cf76efee6f76319b27734d32c573", "fetched_at": "2026-08-29T12:38:15.799645+00:00", "kind": "homepage", "missing": false, "url": "http://souffle-lang.github.io/"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:03:46.908811+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:03:46.908811+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-30T06:33:34.339574+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "41172e4e557eb7262029d92b4bfb7d4f3d6acffca347894b6f26a66cbb965fc7", "fetched_at": "2026-08-28T04:03:46.908811+00:00", "kind": "readme", "missing": false, "url": "https://github.com/souffle-lang/souffle"}, {"content_hash": "98769c74a3710dda2b8a97eccfdc9fd29cd7cf76efee6f76319b27734d32c573", "fetched_at": "2026-08-29T12:38:15.799645+00:00", "kind": "homepage", "missing": false, "url": "http://souffle-lang.github.io/"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:03:46.908811+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:03:46.908811+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:03:46.908811+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-30T06:33:34.339574+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "41172e4e557eb7262029d92b4bfb7d4f3d6acffca347894b6f26a66cbb965fc7", "fetched_at": "2026-08-28T04:03:46.908811+00:00", "kind": "readme", "missing": false, "url": "https://github.com/souffle-lang/souffle"}, {"content_hash": "98769c74a3710dda2b8a97eccfdc9fd29cd7cf76efee6f76319b27734d32c573", "fetched_at": "2026-08-29T12:38:15.799645+00:00", "kind": "homepage", "missing": false, "url": "http://souffle-lang.github.io/"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:03:46.908811+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:03:46.908811+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-30T06:33:34.339574+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "41172e4e557eb7262029d92b4bfb7d4f3d6acffca347894b6f26a66cbb965fc7", "fetched_at": "2026-08-28T04:03:46.908811+00:00", "kind": "readme", "missing": false, "url": "https://github.com/souffle-lang/souffle"}, {"content_hash": "98769c74a3710dda2b8a97eccfdc9fd29cd7cf76efee6f76319b27734d32c573", "fetched_at": "2026-08-29T12:38:15.799645+00:00", "kind": "homepage", "missing": false, "url": "http://souffle-lang.github.io/"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-30T06:33:34.339574+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "41172e4e557eb7262029d92b4bfb7d4f3d6acffca347894b6f26a66cbb965fc7", "fetched_at": "2026-08-28T04:03:46.908811+00:00", "kind": "readme", "missing": false, "url": "https://github.com/souffle-lang/souffle"}, {"content_hash": "98769c74a3710dda2b8a97eccfdc9fd29cd7cf76efee6f76319b27734d32c573", "fetched_at": "2026-08-29T12:38:15.799645+00:00", "kind": "homepage", "missing": false, "url": "http://souffle-lang.github.io/"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-30T06:33:34.339574+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "41172e4e557eb7262029d92b4bfb7d4f3d6acffca347894b6f26a66cbb965fc7", "fetched_at": "2026-08-28T04:03:46.908811+00:00", "kind": "readme", "missing": false, "url": "https://github.com/souffle-lang/souffle"}, {"content_hash": "98769c74a3710dda2b8a97eccfdc9fd29cd7cf76efee6f76319b27734d32c573", "fetched_at": "2026-08-29T12:38:15.799645+00:00", "kind": "homepage", "missing": false, "url": "http://souffle-lang.github.io/"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-30T06:33:34.339574+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "41172e4e557eb7262029d92b4bfb7d4f3d6acffca347894b6f26a66cbb965fc7", "fetched_at": "2026-08-28T04:03:46.908811+00:00", "kind": "readme", "missing": false, "url": "https://github.com/souffle-lang/souffle"}, {"content_hash": "98769c74a3710dda2b8a97eccfdc9fd29cd7cf76efee6f76319b27734d32c573", "fetched_at": "2026-08-29T12:38:15.799645+00:00", "kind": "homepage", "missing": false, "url": "http://souffle-lang.github.io/"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 92, "longevity": 100, "rhythm": 8}, "computed_at": "2026-09-02T17:46:02.011165+00:00", "flags": [], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 3826, "days_push": 51, "days_rel": 527, "gap_med": null, "n_releases_24m": 1}, "score": 64, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}