|
|
Python |
20 |
create to support AP team to analyse STDF datalog. |
Feb 26, 2023 |
|
|
Clojure |
4 |
toy datalog |
May 23, 2020 |
|
|
Dafny |
2 |
Verified Datalog |
Mar 04, 2023 |
|
|
JavaScript |
5 |
Datalog Talk |
Jan 27, 2020 |
|
|
Python |
3 |
Redis support for Flask |
Aug 13, 2019 |
|
|
Go |
3 |
only support redis list |
May 28, 2018 |
|
|
JavaScript |
25 |
Automatic redis pipeline support |
Jun 06, 2022 |
|
|
Elixir |
2 |
Datalog in Elixir |
Dec 30, 2022 |
|
|
Shell |
2 |
Datalog benchmark suite |
Feb 04, 2024 |
|
|
Java |
458 |
redis client tool,redis web client,redis web ui,spring-boot support |
Jan 13, 2024 |
|
|
JavaScript |
3 |
redis support for Haraka plugins |
May 23, 2022 |
|
|
C |
9 |
redis with cmake build support |
Nov 08, 2020 |
|
|
Python |
2193 |
asyncio (PEP 3156) Redis support |
Aug 13, 2022 |
|
|
PHP |
2 |
adds support for redis sentinel |
May 25, 2021 |
|
|
Rust |
69 |
Serde support for redis-rs |
Jun 04, 2022 |
|
|
Java |
5 |
bloom filter that support redis |
Mar 18, 2020 |
|
|
Python |
6 |
Redis support for Muffin framework |
Jul 17, 2022 |
|
|
C |
12 |
Redis Module adding LuaJIT support |
Aug 25, 2021 |
|
|
C# |
61 |
Redis support packages for Orleans |
Apr 10, 2023 |
|
|
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 |
|
|
Erlang |
3 |
erlang memcached clone for study. |
Apr 07, 2020 |
|
|
Erlang |
3 |
Timer module for Erlang that makes it easy to abstact time out of the tests. |
Sep 17, 2018 |
|
|
Erlang |
3 |
Generic test suite for Riak clients |
Sep 06, 2016 |
|
|
Erlang |
3 |
Core components of exometer |
Dec 14, 2017 |
|
|
Erlang |
3 |
Erlang port of Hamcrest |
Sep 19, 2020 |
|
|
Erlang |
3 |
A mocking library for Erlang |
Mar 02, 2018 |
|
|
Erlang |
3 |
ACL support for Riak CS |
Sep 06, 2016 |
|
|
Erlang |
3 |
Large file support for Riak CS |
Dec 27, 2016 |
|
|
Erlang |
3 |
Riak CS Multi-cluster module |
Aug 31, 2018 |
|
|
Erlang |
3 |
Reporting functionality for Riak CS |
May 16, 2019 |
|
|
Erlang |
3 |
Generic setup utility for Erlang-based systems |
Mar 25, 2017 |
|
|
Erlang |
3 |
Client library for Stanchion |
Sep 06, 2016 |
|
|
Erlang |
4 |
libp2p stream library for multiplexed streams |
Mar 31, 2022 |
|
|
Erlang |
4 |
AtomVM example programs |
May 04, 2022 |
|
|
Erlang |
4 |
A random collection of steno related scripts and programs. |
Mar 06, 2022 |
|
|
Erlang |
4 |
never lose your childlike sense of wonder baby cuttlefish, promise me? |
Sep 28, 2021 |
|
|
Erlang |
4 |
An implementation of a gRPC server and client in Erlang. |
Jul 25, 2022 |
|
|
Erlang |
4 |
Load Control for beam |
May 24, 2022 |
|
|
Erlang |
4 |
MongoDB driver for Erlang |
Mar 16, 2022 |
|
|
Erlang |
4 |
Mirror of Apache CouchDB |
May 22, 2020 |
|
|
Erlang |
4 |
Parent chains interface provider (Hyperchains). |
Jun 18, 2021 |
|
|
Erlang |
4 |
None |
Jan 07, 2022 |
|
|
Erlang |
4 |
Simple setup-based AE node bootstrap app for plugin development |
Apr 22, 2021 |
|
|
Erlang |
4 |
Generates endpoint code from swagger yaml specifications |
Nov 01, 2021 |