A toolkit for reasoning about RDF-star in Soufflé, including an OWL reasoner
-
Updated
Dec 28, 2022 - Rust
#
souffle
Here are 23 public repositories matching this topic...
Advent of Code 2023 in Datalog
advent-of-code datalog adventofcode souffle souffle-datalog-language advent-of-code-2023 aoc2023 advent-of-code-2023-datalog
-
Updated
Dec 4, 2023 - Ruby
Static taint analyzer for Ethereum smart contracts written in Solidity
-
Updated
Jul 21, 2020 - Python
Advent of Code 2021 in Souffle datalog
-
Updated
Dec 18, 2021
Advent of Code 2022 in Datalog
advent-of-code datalog adventofcode souffle souffle-datalog-language advent-of-code-2022 aoc22 aoc-2022-in-datalog advent-of-code-2022-datalog
-
Updated
Dec 1, 2023 - Ruby
Soufflé bindings for JavaScript/TypeScript
-
Updated
Sep 15, 2024 - TypeScript
advent of code 2024 in souffle datalog
advent-of-code datalog souffle souffle-datalog-language advent-of-code-2024 aoc2024 aoc24 advent-of-code-2024-datalog advent-of-code-2024-souffle-datalog aoc-2024-in-datalog
-
Updated
Jan 12, 2025 - Ruby
Optimization attempt of the Lambda Control Flow Analysis (STG like language)
haskell functional-programming cfa static-analysis datalog control-flow-analysis lazy-evaluation closures stg souffle
-
Updated
May 21, 2020 - HTML
Logic plus python types
python logic prolog datalog z3 common-logic clingo answer-set-programming owl-dl souffle clif description-logic theorem-provers linkml
-
Updated
Mar 14, 2025 - Python
optimize your home bar with ✨logic programming✨
-
Updated
Jan 10, 2022 - Prolog
A tree-sitter grammar for Soufflé Datalog
-
Updated
Jul 13, 2024 - C
Soufflé Datalog Language Server. Add smart features to the Soufflé Datalog Language with the help of LSP in a VS code plugin
-
Updated
Sep 30, 2023 - Java
TON Static Analyzer
-
Updated
Jun 2, 2025 - TypeScript
Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
-
Updated
May 1, 2025 - Rust
cclyzer++ is a precise and scalable pointer analysis for LLVM code.
-
Updated
Jan 30, 2025 - C++
Improve this page
Add a description, image, and links to the souffle topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the souffle topic, visit your repo's landing page and select "manage topics."