Topic · souffle

souffle

Tracked open-source repos tagged souffle, sorted by stars.

Repos

2

Total stars

1,685

Avg. stars

843

Share

0.00%

Topics that frequently appear alongside souffle on the same repo.

Recent risers

Repos created in the last 90 days, tagged souffle.

No new repos tagged with this topic in the last 90 days.

#1
souffle ↗@souffle-langC++
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.
★ 1,155+3Star change over the last 7 days
#2
crepe ↗@ekzhangRust
Datalog compiler embedded in Rust as a procedural macro
★ 530+1Star change over the last 7 days

← Back to topics