|
|
Clojure |
4 |
toy datalog |
May 23, 2020 |
|
|
Dafny |
2 |
Verified Datalog |
Mar 04, 2023 |
|
|
JavaScript |
5 |
Datalog Talk |
Jan 27, 2020 |
|
|
Erlang |
8 |
Redis datalog support |
Apr 08, 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 |
|
|
TypeScript |
132 |
a datalog interpreter in typescript |
Sep 09, 2022 |
|
|
Rust |
4 |
Datalog engine based on DuckDB |
Mar 09, 2023 |
|
|
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 |
|
|
Haskell |
33 |
BDD-based implementation of Datalog |
Feb 19, 2023 |
|
|
C# |
5 |
FactoryTalk View SE datalog converter |
Aug 22, 2023 |
|
|
Rust |
540 |
A lightweight Datalog engine in Rust |
Aug 08, 2022 |
|
|
Haskell |
96 |
A pure Haskell implementation of Datalog |
Mar 16, 2023 |
|
|
Rust |
53 |
A lightweight Datalog engine in Rust |
Apr 05, 2023 |
|
|
None |
51 |
Awesome datalog libraries, tools and resources |
Mar 12, 2023 |
|
|
Rust |
2 |
Another Simplistic Datalog Implementation (in Rust) |
Nov 08, 2022 |
|
|
Elixir |
3 |
🔎 A fast and flexible keyword parser for extracting words, phrases & simple patterns from … |
Sep 13, 2022 |
|
|
Elixir |
3 |
Elixir version of our Twitch Bot |
Sep 28, 2022 |
|
|
Elixir |
4 |
None |
Jul 11, 2020 |
|
|
Elixir |
4 |
Scripts for managing development lifecycle |
Apr 22, 2022 |
|
|
Elixir |
4 |
RUT/RUN Validator and Formatter for Elixir |
Apr 11, 2022 |
|
|
Elixir |
4 |
CFSSL API client for Elixir |
Feb 17, 2022 |
|
|
Elixir |
4 |
Elixir XML stream writer library |
Mar 07, 2022 |
|
|
Elixir |
4 |
Various development tools to use with blunt. |
May 22, 2022 |
|
|
Elixir |
4 |
Experimental Elixir interface to Google's OR Tools |
May 12, 2022 |
|
|
Elixir |
4 |
Pin links for JOIN |
Jun 07, 2022 |
|
|
Elixir |
4 |
SDK to facilitate Elixir integrations with the Stark Infra API |
Jun 03, 2022 |
|
|
Elixir |
4 |
Blockchain explorer for Ethereum based network and a tool for inspecting and analyzing EVM based … |
May 05, 2022 |
|
|
Elixir |
4 |
None |
Jan 03, 2022 |
|
|
Elixir |
4 |
Use Elixir's IEx helpers from the command line. |
May 18, 2022 |
|
|
Elixir |
4 |
A simple example using Numerical Elixir (Nx) and Elixir livebook! |
Dec 07, 2021 |
|
|
Elixir |
4 |
Fast, lean and reliable authentication server based on verifiable credentials standard |
Mar 28, 2022 |
|
|
Elixir |
4 |
Main openvac codebase |
Jul 20, 2021 |
|
|
Elixir |
4 |
Maplibre integration for Livebook |
Jun 23, 2022 |
|
|
Elixir |
4 |
Nerves based digital dashboard for various ECUs |
Jul 07, 2021 |
|
|
Elixir |
4 |
Q&D demo of PG perf issues |
Jun 20, 2022 |
|
|
Elixir |
4 |
None |
Apr 13, 2022 |
|
|
Elixir |
4 |
None |
Jul 14, 2021 |