|
|
C++ |
87 |
Haskell bindings for the Souffle datalog language |
Feb 26, 2023 |
|
|
C++ |
2 |
Example Use of Souffle Datalog Program from Go |
Jan 27, 2022 |
|
|
Haskell |
2 |
Haskell Orc EDSL |
Dec 05, 2019 |
|
|
Haskell |
4 |
Haskell bindings for Eclair Datalog |
Feb 07, 2023 |
|
|
Haskell |
3 |
Type-safe LaTeX EDSL in Haskell |
Dec 05, 2019 |
|
|
Haskell |
11 |
A Haskell eDSL for the TON VM Assembler |
May 31, 2022 |
|
|
Haskell |
4 |
Haskell EDSL for constructing regexen, because regex sucks |
Aug 04, 2018 |
|
|
Haskell |
32 |
Haskell Dockerfile parser, pretty-printer and EDSL |
Mar 07, 2023 |
|
|
Haskell |
2 |
A Haskell EDSL to write MetaPost programs |
Dec 05, 2019 |
|
|
Haskell |
96 |
A pure Haskell implementation of Datalog |
Mar 16, 2023 |
|
|
Haskell |
159 |
Haskell EDSL and type-checker for AWS CloudFormation templates |
Feb 21, 2023 |
|
|
Makefile |
3 |
Souffle Library |
Apr 01, 2023 |
|
|
Vim script |
8 |
Syntax highlighting for souffle files |
Jul 29, 2022 |
|
|
Python |
8 |
Translates LinkML schemas into Datalog programs and executes them using Souffle, enabling advanced validation and … |
Mar 08, 2023 |
|
|
Haskell |
150 |
A minimal, fast Datalog implementation in Haskell that compiles to LLVM |
May 01, 2023 |
|
|
None |
13 |
Effects EDSL for Idris |
May 01, 2018 |
|
|
Haskell |
3 |
Layers of tools for working with Gerber files as a Haskell EDSL esp. for PCB … |
Jan 26, 2022 |
|
|
C++ |
35 |
EDSL for PDE solver composing |
Jun 30, 2022 |
|
|
Rust |
51 |
Rust EDSL for shading languages |
Aug 25, 2022 |
|
|
OCaml |
20 |
An eDSL for MirageOS apps |
Mar 28, 2023 |
|
|
Rust |
85 |
Session Type EDSL for Rust |
Mar 22, 2023 |
|
|
Haskell |
375 |
The Ivory EDSL |
Apr 12, 2023 |
|
|
Clojure |
4 |
toy datalog |
May 23, 2020 |
|
|
Dafny |
2 |
Verified Datalog |
Mar 04, 2023 |
|
|
JavaScript |
5 |
Datalog Talk |
Jan 27, 2020 |
|
|
None |
2 |
Typed eDSL for writing UPLC /ˈpluː.tɑːk/ |
May 30, 2022 |
|
|
Haskell |
23 |
EDSL for automated, low-latency trading |
Jun 01, 2022 |
|
|
Haskell |
89 |
Typed eDSL for writing UPLC /ˈpluː.tɑːk/ |
Aug 24, 2022 |
|
|
Python |
3 |
Python eDSL for your Web Routes |
Nov 06, 2021 |
|
|
Haskell |
5 |
🦈 Safe JavaScript EDSL |
Nov 07, 2021 |
|
|
Rust |
11 |
A linter for Soufflé 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 |
5 |
A simple eDSL for aggregation in Python |
Sep 07, 2022 |
|
|
Python |
3 |
Livecoding eDSL using Markov chains |
Jan 21, 2019 |
|
|
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 |
|
|
PureScript |
26 |
A tiny EDSL for making slides in PureScript |
Sep 12, 2022 |
|
|
F# |
202 |
TensorFlow API for F# + F# for AI Models eDSL |
May 02, 2022 |
|
|
Haskell |
4 |
EDSL implementing strongly typed Attribute Grammars |
Jul 01, 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 |
|
|
Rust |
4 |
High level Rust bindings for Eclair Datalog |
Apr 08, 2023 |