Haskell bindings for the Souffle datalog language
-
Updated
May 16, 2024 - C
#
souffle-datalog-language
Here are 9 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
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."