BetaRare
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.
- Owner
- souffle-lang (organization)
- Stars
- Stars: 1,192
- Forks
- Forks: 249
- Language
- C++
- License
- UPL-1.0
- Created
- 2016
- Topics
- datalogstatic-code-analysissouffletranslatorlogic-programming
- Tier
- Beta (700 to 1,999 ★) What this tier means
Nearby in C++
All C++ repos- matanki-saito/EU4dllStars: 1,193C++Beta
- michaeleisel/zldStars: 1,193C++Beta
- reo7sp/tgbot-cppStars: 1,192C++Beta
- MIT-SPARK/HydraStars: 1,191C++Beta
- OpenVPN/openvpn3Stars: 1,190C++Beta
- APRIL-ZJU/lidar_IMU_calibStars: 1,190C++Beta