Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with souffle
A curated list of projects in awesome lists tagged with souffle .
https://github.com/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.
datalog logic-programming souffle static-code-analysis translator
Last synced: 01 Aug 2024
https://github.com/ekzhang/crepe
Datalog compiler embedded in Rust as a procedural macro
datalog logic-programming rust souffle static-analysis translator
Last synced: 02 Aug 2024