|
|
C |
10 |
A tree-sitter grammar for Soufflé Datalog |
Feb 07, 2023 |
|
|
C++ |
47 |
DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language. |
Oct 19, 2020 |
|
|
C++ |
599 |
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé … |
Aug 22, 2022 |
|
|
None |
2 |
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé … |
Jan 09, 2022 |
|
|
HTML |
5 |
Soufflé |
Dec 13, 2021 |
|
|
Rust |
21 |
Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming … |
Apr 01, 2023 |
|
|
Clojure |
4 |
toy datalog |
May 23, 2020 |
|
|
Dafny |
2 |
Verified Datalog |
Mar 04, 2023 |
|
|
JavaScript |
5 |
Datalog Talk |
Jan 27, 2020 |
|
|
Haskell |
4 |
Haskell bindings for Eclair Datalog |
Feb 07, 2023 |
|
|
Haskell |
5 |
Haskell EDSL for Souffle Datalog |
Feb 07, 2023 |
|
|
Rust |
5 |
Datalog with equality for rust |
May 07, 2023 |
|
|
Erlang |
8 |
Redis datalog support |
Apr 08, 2022 |
|
|
Elixir |
2 |
Datalog in Elixir |
Dec 30, 2022 |
|
|
Shell |
2 |
Datalog benchmark suite |
Feb 04, 2024 |
|
|
Python |
4 |
A fast DataLog Reasoner |
Sep 06, 2021 |
|
|
Scala |
11 |
Datalog implementation in Scala. |
Oct 19, 2021 |
|
|
None |
6 |
A janet datalog engine |
Aug 09, 2021 |
|
|
Clojure |
374 |
Datalog based rules engine |
Apr 17, 2023 |
|
|
None |
5 |
Learn xtdb Datalog syntax |
Sep 29, 2022 |
|
|
Clojure |
17 |
Datalog based rules engine |
Jun 24, 2022 |
|
|
Scheme |
24 |
Datalog implemented in minikanren |
Apr 09, 2023 |
|
|
Clojure |
44 |
Utilities for managing Datalog rulesets from Clojure |
May 25, 2022 |
|
|
Rust |
4 |
High level Rust bindings for Eclair Datalog |
Apr 08, 2023 |
|
|
C++ |
87 |
Haskell bindings for the Souffle datalog language |
Feb 26, 2023 |
|
|
C |
2 |
C API for the LUA Datalog library |
Mar 31, 2021 |
|
|
Prolog |
237 |
An in-memory datalog implementation for OCaml. |
Apr 11, 2023 |
|
|
Clojure |
1530 |
A durable Datalog implementation adaptable for distribution. |
May 06, 2023 |
|
|
Shell |
2 |
Meta-linter complementing super-linter and mega-linter |
Apr 14, 2022 |
|
|
Rust |
17 |
A lifetime inference algorithm for the Rust programming language written in Soufflé. |
Jan 10, 2023 |
|
|
TypeScript |
132 |
a datalog interpreter in typescript |
Sep 09, 2022 |
|
|
Rust |
4 |
Datalog engine based on DuckDB |
Mar 09, 2023 |
|
|
Java |
2 |
Pire, Distributed Datalog, HySpirit, DDatalog |
Jan 11, 2021 |
|
|
Java |
25 |
Kafka as a Datalog Engine |
Dec 20, 2022 |
|
|
Shell |
3 |
AdventOfCode solved using Differential Datalog |
Feb 23, 2022 |
|
|
Haskell |
33 |
BDD-based implementation of Datalog |
Feb 19, 2023 |
|
|
C# |
5 |
FactoryTalk View SE datalog converter |
Aug 22, 2023 |
|
|
Python |
4 |
Linter for euslisp |
Aug 15, 2022 |
|
|
Python |
7 |
Linter for GDScript |
Aug 10, 2022 |
|
|
Dart |
519 |
Linter for Dart. |
Aug 10, 2022 |
|
|
Dart |
2 |
Linter for Dart. |
Feb 26, 2022 |
|
|
TypeScript |
159 |
Linter for XO |
Sep 30, 2022 |
|
|
JavaScript |
90 |
Linter for XO |
Dec 09, 2021 |
|
|
Go |
4 |
Linter for localization |
Jan 29, 2023 |
|
|
None |
2 |
Linter for Dart. |
May 16, 2021 |
|
|
None |
2 |
Linter configurations and Github Action workflow for super-linter |
Jan 05, 2022 |
|
|
Rust |
2 |
A toolkit for reasoning about RDF-star in Soufflé, including an OWL reasoner |
Dec 26, 2022 |
|
|
Rust |
10 |
experimental datalog rules for a next gen polonius |
Jun 07, 2022 |
|
|
Go |
2 |
An interpreter for Dedalus (a subset of Datalog) |
Jan 15, 2022 |
|
|
TypeScript |
2 |
Typescript bindings for Eclair Datalog compiled to WebAssembly |
Jan 07, 2023 |