5 results found Sort:
- Filter by Primary Language:
- C++ (2)
- Rust (2)
- Prolog (1)
- +
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,624 commits to master branch, last one 7 hours ago
Datalog compiler embedded in Rust as a procedural macro
Created
2020-08-31
63 commits to main branch, last one about a year ago
cclyzer++ is a precise and scalable pointer analysis for LLVM code.
Created
2022-08-10
198 commits to main branch, last one about a year ago
optimize your home bar with ✨logic programming✨
Created
2021-03-19
52 commits to master branch, last one 2 years ago
Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
Created
2022-10-25
144 commits to main branch, last one 28 days ago