|
|
None |
6 |
A janet datalog engine |
Aug 09, 2021 |
|
|
Clojure |
374 |
Datalog based rules engine |
Apr 17, 2023 |
|
|
Clojure |
17 |
Datalog based rules engine |
Jun 24, 2022 |
|
|
Rust |
4 |
Datalog engine based on DuckDB |
Mar 09, 2023 |
|
|
Rust |
540 |
A lightweight Datalog engine in Rust |
Aug 08, 2022 |
|
|
Rust |
53 |
A lightweight Datalog engine in Rust |
Apr 05, 2023 |
|
|
Rust |
71 |
[Archived] A scalable differentiable probabilistic Datalog engine, with Rust |
Jun 07, 2022 |
|
|
Clojure |
4 |
toy datalog |
May 23, 2020 |
|
|
Dafny |
2 |
Verified Datalog |
Mar 04, 2023 |
|
|
JavaScript |
5 |
Datalog Talk |
Jan 27, 2020 |
|
|
Clojure |
4869 |
Immutable database and Datalog query engine for Clojure, ClojureScript and JS |
Aug 21, 2022 |
|
|
D |
3 |
Lightweight Datalog engine intended to be embedded in other D programs |
Jul 27, 2018 |
|
|
C# |
2 |
Datalog engine for C# started as a Sharpen port of Jatalog |
Mar 19, 2023 |
|
|
Java |
2 |
Kafka Authorization Engine for Hopsworks |
Nov 30, 2021 |
|
|
Python |
13 |
Spark-Kafka Realtime recommender Engine. |
Dec 24, 2022 |
|
|
Ruby |
3 |
Implementation of an engine for webdamlog evaluation. Webdamlog is distributed datalog language |
Mar 17, 2018 |
|
|
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 |
5 |
Learn xtdb Datalog syntax |
Sep 29, 2022 |
|
|
Scheme |
24 |
Datalog implemented in minikanren |
Apr 09, 2023 |
|
|
Java |
4 |
kafka connect script engine transformers (performance comporation) |
Nov 30, 2020 |
|
|
TypeScript |
132 |
a datalog interpreter in typescript |
Sep 09, 2022 |
|
|
Rust |
11 |
A linter for Soufflé Datalog |
Feb 07, 2023 |
|
|
Haskell |
4 |
Haskell bindings for Eclair Datalog |
Feb 07, 2023 |
|
|
Haskell |
5 |
Haskell EDSL for Souffle Datalog |
Feb 07, 2023 |
|
|
Java |
2 |
Pire, Distributed Datalog, HySpirit, DDatalog |
Jan 11, 2021 |
|
|
Rust |
5 |
Datalog with equality for rust |
May 07, 2023 |
|
|
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 |
|
|
Haskell |
96 |
A pure Haskell implementation of Datalog |
Mar 16, 2023 |
|
|
None |
51 |
Awesome datalog libraries, tools and resources |
Mar 12, 2023 |
|
|
Rust |
2 |
Another Simplistic Datalog Implementation (in Rust) |
Nov 08, 2022 |
|
|
Clojure |
907 |
A simple, fast and versatile Datalog database |
Apr 17, 2023 |
|
|
None |
22 |
Matrix of Open Source Clojure Datalog Databases |
Mar 10, 2022 |
|
|
Clojure |
44 |
Utilities for managing Datalog rulesets from Clojure |
May 25, 2022 |
|
|
C |
10 |
A tree-sitter grammar for Soufflé Datalog |
Feb 07, 2023 |
|
|
C# |
4 |
Strongly-typed Datalog implementation embedded in C# |
Apr 15, 2023 |
|
|
Rust |
4 |
High level Rust bindings for Eclair Datalog |
Apr 08, 2023 |
|
|
C++ |
87 |
Haskell bindings for the Souffle datalog language |
Feb 26, 2023 |
|
|
Scala |
8 |
Difflog: Synthesizing Datalog Programs using Numerical Relaxation |
Apr 09, 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 |
|
|
Java |
12 |
This is a simple CEP Engine leveraging the Kafka Streams platform |
May 12, 2021 |
|
|
JavaScript |
25 |
A trivial Datalog with top-down and bottom up evaluation written in Javascript to learn how … |
Dec 10, 2021 |
|
|
Java |
2 |
Model Inference with Apache Kafka, Kafka Streams and a TensorFlow model deployed to TF-Serving (Google … |
Sep 05, 2018 |