Haskell bindings for the Souffle datalog language
-
Updated
May 16, 2024 - C++
#
souffle-datalog-language
Here are 10 public repositories matching this topic...
optimize your home bar with ✨logic programming✨
-
Updated
Jan 10, 2022 - Prolog
net-ssa: A fast and easy-to-use register-based representation for .NET bytecode.
csharp reverse-engineering ssa datalog msil cil intermediate-representation il mono-cecil souffle-datalog-language
-
Updated
Feb 11, 2024 - C#
Translates LinkML schemas into Datalog programs and executes them using Souffle, enabling advanced validation and inference over instance data. ALPHA.
rules validation rdf semantics semantic-web constraints datalog logic-programming rule-language reasoning souffle-datalog-language linkml
-
Updated
Feb 14, 2024 - Python
A toolkit for reasoning about RDF-star in Soufflé, including an OWL reasoner
-
Updated
Dec 28, 2022 - Rust
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
Advent of Code 2021 in Souffle datalog
-
Updated
Dec 18, 2021
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
Mirror of the project repository for Program Analysis for System Security and Reliability at ETH Zürich for FS2021
-
Updated
Aug 12, 2021 - Python
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
Dec 26, 2024 - Ruby
Improve this page
Add a description, image, and links to the souffle-datalog-language topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the souffle-datalog-language topic, visit your repo's landing page and select "manage topics."