Search Results - RepositoryStats

211

940

upl-1.0

41

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 souffle translator logic-programming static-code-analysis

Created 2016-03-12

10,629 commits to master branch, last one 12 days ago

crepe ekzhang

16

466

apache-2.0

13

Datalog compiler embedded in Rust as a procedural macro

rust datalog souffle translator static-analysis logic-programming

Created 2020-08-31

63 commits to main branch, last one about a year ago

cclyzerpp GaloisInc

14

138

bsd-3-clause

12

cclyzer++ is a precise and scalable pointer analysis for LLVM code.

llvm datalog souffle static-analysis pointer-analysis program-analysis

Created 2022-08-10

199 commits to main branch, last one 5 months ago

mixologician ianthehenry

1

75

unknown

3

optimize your home bar with ✨logic programming✨

datalog souffle mixology cocktails logic-programming souffle-datalog-language

Created 2021-03-19

52 commits to master branch, last one 2 years ago

treeedb langston-barrett

8

62

mit

4

Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.

datalog souffle tree-sitter static-analysis

Created 2022-10-25

163 commits to main branch, last one 18 days ago

misti nowarp

3

33

apache-2.0

4

TON Static Analyzer

ton souffle tact-lang smart-contracts static-analysis

Created 2024-04-14

467 commits to master branch, last one 18 days ago