GitHub topics: souffle-datalog-language
luc-tielen/souffle-haskell
Haskell bindings for the Souffle datalog language
Language: C++ - Size: 1.3 MB - Last synced at: 19 days ago - Pushed at: 11 months ago - Stars: 103 - Forks: 13
quentin/aoc24-datalog
advent of code 2024 in souffle datalog
Language: Ruby - Size: 121 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
linkml/linkml-datalog
Translates LinkML schemas into Datalog programs and executes them using Souffle, enabling advanced validation and inference over instance data. ALPHA.
Language: Python - Size: 705 KB - Last synced at: 2 days ago - Pushed at: about 1 year ago - Stars: 13 - Forks: 0
m-carrasco/net-ssa
net-ssa: A fast and easy-to-use register-based representation for .NET bytecode.
Language: C# - Size: 212 KB - Last synced at: 10 months ago - Pushed at: about 1 year ago - Stars: 30 - Forks: 0
langston-barrett/rdf-star-souffle
A toolkit for reasoning about RDF-star in Soufflé, including an OWL reasoner
Language: Rust - Size: 6.84 KB - Last synced at: 6 days ago - Pushed at: over 2 years ago - Stars: 5 - Forks: 0
ianthehenry/mixologician
optimize your home bar with ✨logic programming✨
Language: Prolog - Size: 79.1 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 75 - Forks: 1
quentin/aoc23-datalog
Advent of Code 2023 in Datalog
Language: Ruby - Size: 36.1 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
quentin/aoc22-datalog
Advent of Code 2022 in Datalog
Language: Ruby - Size: 125 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0
rharish101/PASS-Project 📦
Mirror of the project repository for Program Analysis for System Security and Reliability at ETH Zürich for FS2021
Language: Python - Size: 389 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
quentin/aoc21-datalog
Advent of Code 2021 in Souffle datalog
Size: 58.6 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0