← All repos

souffle-lang/souffle

View on GitHub ↗ ★ 1,194 C++

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.

5 mentions on Hacker News by 5 people: 0 stories, 5 comments · first 2021-04-15 · latest 2025-11-06