◈ GitRank
Search projects中文
Back to discovery
souffle-lang

souffle

Recently maintained

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.

Developer Toolsdatalogstatic-code-analysissouffletranslatorlogic-programming
Stars
1,192

Community interest

Forks
249

Community forks

7-day growth
+3

Observed snapshot change

Language
C++

Repository metadata

Star history & growth

Observed snapshots only. Missing observations are not invented.

1,192 ★48 observations
2026-08-102026-11-02
Inspect recent observations
DateStars
2026-10-041,179
2026-10-051,180
2026-10-061,180
2026-10-071,180
2026-10-081,181
2026-10-091,181
2026-10-101,181
2026-10-111,181
2026-10-121,181
2026-10-131,182
2026-10-141,182
2026-10-151,182
2026-10-161,183
2026-10-171,183
2026-10-181,184
2026-10-191,185
2026-10-201,186
2026-10-211,186
2026-10-221,186
2026-10-231,186
2026-10-241,186
2026-10-251,187
2026-10-261,189
2026-10-271,190
2026-10-281,192
2026-10-291,192
2026-10-301,192
2026-10-311,192
2026-11-011,192
2026-11-021,192

Get the source & start here

Cloning downloads source; follow official setup and dependency instructions.

git clone https://github.com/souffle-lang/souffle.git
READMEgithub.dev

About this project

What is souffle?

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.

How do I get started?

Clone with git clone https://github.com/souffle-lang/souffle.git. Cloning is not a complete installation; follow the official README for dependencies, hosts and usage.

Can I use it commercially?

Current license information: UPL-1.0. Review the original terms, dependencies and your intended use.

What do maintenance and growth indicate?

Current status: Recently maintained. Activity is not a security audit. Growth uses collected snapshots; missing baselines are not estimated.