souffle-lang/souffle
Soufflé is a Datalog-based static code analysis tool that synthesizes parallel C++ programs from logic specifications.
C++
Developer Tools
Static Code Analysis
UPL-1.0
1.1K
Stars
232
Forks
Mar 12, 2016
Created
Dec 10, 2025
Last Updated
Project Analytics
Stars Growth (1 Month)
+8
+0.8% change
Avg Daily Growth (1 Month)
+0.3
stars per day
Fork/Star Ratio (All Time)
22.0%
High engagement
Lifetime Growth
0.3
stars/day over 3.6K days
Stars Over Time
Forks Over Time
Open Issues Over Time
Pull Requests Over Time
Commits Over Time
AI-Generated Tags
datalog
logic-programming
static-code-analysis
translator
c++
Similar Projects
ohmyzsh/ohmyzsh
Enhances shell experience with plugins/themes for zsh
185.1K
Shell
microsoft/vscode
Visual Studio Code - Open Source code editor
182.3K
TypeScript
github/gitignore
Official .gitignore templates for GitHub repositories
172.8K
jlevy/the-art-of-command-line
Comprehensive command line guide for developers
160.1K
Comments (0)
Sign in to leave a comment or vote
Sign InNo comments yet. Be the first to comment!
Stay in the loop
Get weekly updates on trending AI coding tools and projects.