Popular repositories
-
Forked from souffle-lang/souffle
SoufflΓ© is a translator of declarative Datalog programs into the C++ language. SoufflΓ© is used as a domain-specific language for static program analysis, over large code bases with millions of lineβ¦
C++ 1
-
-
-
-
1,001 contributions in the last year
Less
More
Activity overview
Contributed to
souffle-lang/souffle,
azreika/soufflai,
souffle-lang/souffle-lang.github.io
and 2 other
repositories
Contribution activity
July 2021
99
contributions
in private repositories
Jul 1 β Jul 26