|
Java |
4 |
Java BDD implementation based on hashmaps. |
Sep 09, 2021 |
|
Scala |
11 |
Datalog implementation in Scala. |
Oct 19, 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 |
|
Haskell |
96 |
A pure Haskell implementation of Datalog |
Mar 16, 2023 |
|
Rust |
2 |
Another Simplistic Datalog Implementation (in Rust) |
Nov 08, 2022 |
|
C# |
4 |
Strongly-typed Datalog implementation embedded in C# |
Apr 15, 2023 |
|
Prolog |
237 |
An in-memory datalog implementation for OCaml. |
Apr 11, 2023 |
|
Clojure |
1530 |
A durable Datalog implementation adaptable for distribution. |
May 06, 2023 |
|
C |
5 |
BDD based DQBF solver |
Jan 08, 2023 |
|
Python |
3 |
Distributed implementation of BDD package |
Jun 16, 2022 |
|
Java |
2 |
Polyglot implementation of Pacman using BDD |
Oct 12, 2021 |
|
Rust |
11 |
experimental variant of nll analysis based on datalog |
Jul 24, 2022 |
|
Clojure |
10 |
Bloom implementation for Clojure/ClojureScript leaning on Datomic datalog |
May 11, 2020 |
|
Clojure |
4 |
toy datalog |
May 23, 2020 |
|
Dafny |
2 |
Verified Datalog |
Mar 04, 2023 |
|
JavaScript |
5 |
Datalog Talk |
Jan 27, 2020 |
|
Java |
7 |
Selenium WebDriver and Appium based Web, Mobile (Android, iOS) and Windows desktop Automation Framework with … |
Jan 04, 2022 |
|
TypeScript |
3 |
A tiny (<100 LOC), toy implementation of Datalog in Typescript. |
Dec 16, 2022 |
|
Go |
6 |
Gherkin-based BDD testing for go |
Jun 22, 2022 |
|
Python |
5 |
Proof-generated, BDD-based SAT solver |
Jan 28, 2023 |
|
Go |
9 |
Gherkin based BDD for Go Lang. |
Jul 03, 2016 |
|
Erlang |
8 |
Redis datalog support |
Apr 08, 2022 |
|
Elixir |
2 |
Datalog in Elixir |
Dec 30, 2022 |
|
Shell |
2 |
Datalog benchmark suite |
Feb 04, 2024 |
|
Haskell |
150 |
A minimal, fast Datalog implementation in Haskell that compiles to LLVM |
May 01, 2023 |
|
JavaScript |
2 |
web components for Biscuit based Datalog editors and policy execution |
Feb 10, 2023 |
|
Python |
4 |
A fast DataLog Reasoner |
Sep 06, 2021 |
|
None |
6 |
A janet datalog engine |
Aug 09, 2021 |
|
None |
5 |
Learn xtdb Datalog syntax |
Sep 29, 2022 |
|
Scheme |
24 |
Datalog implemented in minikanren |
Apr 09, 2023 |
|
Rust |
6 |
a naive datalog implementation that probably does not run in logarithmic time |
Mar 24, 2021 |
|
Ruby |
3 |
Implementation of an engine for webdamlog evaluation. Webdamlog is distributed datalog language |
Mar 17, 2018 |
|
Rust |
433 |
📝 Web-based, reactive Datalog notebooks for data analysis and visualization |
Aug 08, 2022 |
|
Rust |
2 |
📝 Web-based, reactive Datalog notebooks for data analysis and visualization |
Sep 03, 2023 |
|
TypeScript |
6 |
An intuitive implementation of a BDD-style Deno.test wrapper |
Jul 27, 2022 |
|
Kotlin |
3 |
Kotlin BDD Framework based on Corounit test engine |
Mar 29, 2023 |
|
Java |
2 |
Resolution-based rewriting algorithm from Guarded Tuple Generating Dependencies (GTGDs) to Datalog |
Mar 10, 2023 |
|
Shell |
164 |
A declarative static analysis tool for jvm bytecode based Datalog like CodeQL |
Jun 14, 2022 |
|
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 |
|
Java |
25 |
Kafka as a Datalog Engine |
Dec 20, 2022 |
|
Shell |
3 |
AdventOfCode solved using Differential Datalog |
Feb 23, 2022 |
|
C# |
5 |
FactoryTalk View SE datalog converter |
Aug 22, 2023 |
|
PHP |
2 |
BDD assertion library based on PHPUnit, inspired by Chai. |
Dec 15, 2022 |