souffle-lang/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.
C++UPL-1.0
Watchers
- adamjseitz
- aleksmelnikov
- b-scholzThe University of Sydney
- C4Cypher
- chriscoey@RelationalAI
- data-man@contour-terminal
- davidwzhao
- dhbaird
- dramChina
- dukelink
- fcmonoid
- gkastrinis@RelationalAI
- HerbertJordanZürich
- hessammehrUniversity of Glasgow
- jevinskieLafayette, Indiana
- jhcloos
- jpksh90Germany
- KeSyrenIBM Research
- lengyijunSJTU
- mingodad
- nkeynes-oracleOracle
- pepdiz
- psuboticSerbia
- retSeattle, WA
- romanab
- ryanflanigan
- scyptnexThe University of Sydney
- timothyklim
- trycatcher
- tytus-metrycki
- ufwt
- UnlimitedChild
- wsodsong
- yaniss
- yannissDedaub, University of Athens
- zhenqinshangtiandy