souffle-lang/souffle
Some data may be outdated — see provenance labels.
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. observed · 2026-09-29
Health v2 · maintenance only
61/100
- Activity 84
- Release rhythm 8
- Longevity 100
How is this computed?
round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-10-21. Adoption (stars, forks) is never an input.
- gap_med: n/a
- age_days: 3875
- days_rel: 575
- days_push: 100
- n_releases_24m: 1
Adoption not part of the score
1175 stars · 246 forks observed · 2026-09-29
What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded
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.
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
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
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
Facets
library · maturity active
compiler interpreter programming-language static-site-generator programming-languages compilers developer-tools windows cpp cli datalog static-analysis parallel-cpp-synthesis logic-programming points-to-analysis taint-analysis static-code-analysis linux macos
2 sources
- readme: https://github.com/souffle-lang/souffle · fetched 2026-09-29 · 41172e4e557e
- homepage: http://souffle-lang.github.io/ · fetched 2026-08-29 · 98769c74a371
Member repositories
| Repository | Role | Health v2 |
|---|---|---|
| souffle-lang/souffle | main | 61 |
For agents
markdown · JSON · MCP: product_card(name="souffle-lang/souffle")
Data as of 2026-10-19T08:05:51.212177+00:00 · Report a problem