souffle-datalog-language

There are 0 repository under souffle-datalog-language topic.

luc-tielen / souffle-haskell
Haskell bindings for the Souffle datalog language
haskell datalog souffle-datalog-language bindings
Language:C++ 99
ianthehenry / mixologician
optimize your home bar with ✨logic programming✨
datalog souffle-datalog-language souffle cocktails logic-programming mixology
Language:Prolog 75
m-carrasco / net-ssa
net-ssa: A fast and easy-to-use register-based representation for .NET bytecode.
cil csharp datalog il intermediate-representation mono-cecil msil reverse-engineering souffle-datalog-language ssa
Language:C# 17
linkml / linkml-datalog
Translates LinkML schemas into Datalog programs and executes them using Souffle, enabling advanced validation and inference over instance data. ALPHA.
linkml logic-programming validation souffle-datalog-language datalog reasoning rdf semantic-web rules rule-language semantics constraints
Language:Python 11
langston-barrett / rdf-star-souffle
A toolkit for reasoning about RDF-star in Soufflé, including an OWL reasoner
datalog rdf-star rdf owl owl-reasoner rdfs souffle souffle-datalog-language
Language:Rust 4
quentin / aoc22-datalog
Advent of Code 2022 in Datalog
advent-of-code advent-of-code-2022 advent-of-code-2022-datalog adventofcode aoc-2022-in-datalog aoc22 datalog souffle souffle-datalog-language
Language:Ruby 2
quentin / aoc21-datalog
Advent of Code 2021 in Souffle datalog
datalog advent-of-code-2021 advent-of-code souffle souffle-datalog-language
1
quentin / aoc23-datalog
Advent of Code 2023 in Datalog
advent-of-code advent-of-code-2023 advent-of-code-2023-datalog adventofcode aoc2023 datalog souffle souffle-datalog-language
Language:Ruby 0
rharish101 / PASS-Project
Mirror of the project repository for Program Analysis for System Security and Reliability at ETH Zürich for FS2021
solidity-contracts souffle-datalog-language taint-analysis
Language:Python