Explore Projects
Discover 1 open source projects
Showing 1-1 of 1 projects
souffle-lang/souffle
Soufflé is a Datalog-based static code analysis tool that synthesizes parallel C++ programs from logic specifications.
1.1K
Stay in the loop
Get weekly updates on trending AI coding tools and projects.