6 results found Sort:

212
954
upl-1.0
42
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.
Created 2016-03-12
10,637 commits to master branch, last one 14 days ago
16
467
apache-2.0
13
Datalog compiler embedded in Rust as a procedural macro
Created 2020-08-31
63 commits to main branch, last one about a year ago
14
139
bsd-3-clause
12
cclyzer++ is a precise and scalable pointer analysis for LLVM code.
Created 2022-08-10
199 commits to main branch, last one 6 months ago
optimize your home bar with ✨logic programming✨
Created 2021-03-19
52 commits to master branch, last one 3 years ago
Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
Created 2022-10-25
169 commits to main branch, last one about a month ago
5
36
apache-2.0
4
TON Static Analyzer
Created 2024-04-14
486 commits to master branch, last one a day ago