# souffle-lang/souffle

<https://repo.masters-masters.com/en/repos/souffle-lang/souffle>

[Home](https://repo.masters-masters.com/en) › [souffle-lang](https://repo.masters-masters.com/en/owners/souffle-lang) › [souffle](https://repo.masters-masters.com/en/repos/souffle-lang/souffle)

souffle-lang/souffle has 1,192 stars on GitHub. Its RepoMasters card: Beta tier. Soufflé is a variant of Datalog for tool designers crafting analyses in Horn…

| Field | Value |
| --- | --- |
| Owner | [souffle-lang](https://repo.masters-masters.com/en/owners/souffle-lang) |
| Stars | 1,192 |
| Forks | 249 |
| Language | [C++](https://repo.masters-masters.com/en/languages/c-plus-plus) |
| License | UPL-1.0 |
| Created | 2016 |
| Topics | datalog, static-code-analysis, souffle, translator, logic-programming |
| Tier | [Beta (700 to 1,999 ★)](https://repo.masters-masters.com/en/ranks/box_office) |
| View on GitHub | [souffle-lang/souffle](https://github.com/souffle-lang/souffle) |

## Repository

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.

The tier for repos with 700 to 1,999 ★. Published odds per card pulled: 6%. Rarity: Rare.

## Nearby in C++

- [reo7sp/tgbot-cpp · ★ 1,193 · C++ · Beta](https://repo.masters-masters.com/en/repos/reo7sp/tgbot-cpp)
- [matanki-saito/EU4dll · ★ 1,193 · C++ · Beta](https://repo.masters-masters.com/en/repos/matanki-saito/EU4dll)
- [michaeleisel/zld · ★ 1,193 · C++ · Beta](https://repo.masters-masters.com/en/repos/michaeleisel/zld)
- [MIT-SPARK/Hydra · ★ 1,191 · C++ · Beta](https://repo.masters-masters.com/en/repos/MIT-SPARK/Hydra)
- [OpenVPN/openvpn3 · ★ 1,190 · C++ · Beta](https://repo.masters-masters.com/en/repos/OpenVPN/openvpn3)
- [APRIL-ZJU/lidar\_IMU\_calib · ★ 1,190 · C++ · Beta](https://repo.masters-masters.com/en/repos/APRIL-ZJU/lidar_IMU_calib)

---
Data: GitHub · Illustration: the project’s public image, pixelated by RepoMasters.