Statically typed embedding of miniKanren relational programming language into OCaml
-
Updated
Aug 25, 2024 - OCaml
#
relational-programming
Here are 12 public repositories matching this topic...
An extensible, lightweight relational/logic programming DSL written in pure Python
minikanren
logic-programming
symbolic-computation
clp
relational-programming
constraint-logic-programming
-
Updated
Jan 30, 2023 - Python
Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
theano
tensorflow
minikanren
pymc
probabilistic-programming
bayesian
symbolic-computation
symbolic-math
relational-programming
-
Updated
Mar 20, 2024 - Python
Basics of relational programming with Prolog —PROgramming in LOGic ^_^
-
Updated
Sep 16, 2020 - Prolog
Logic Programming in Python
computer-algebra
minikanren
logic-programming
sat-solver
unification
relational-reasoning
relational-programming
-
Updated
Sep 28, 2021 - Python
microKanren in python
-
Updated
Aug 18, 2020 - Python
μKanren in Haskell 98
-
Updated
Jan 9, 2022 - Haskell
Kanrenmō - miniKanren for .NET
-
Updated
Sep 18, 2021 - C#
Relational programming for Ruby
ruby
export
yaml
json
data
csv
database
reporting
reports
data-analysis
relational-database
csv-import
relational-algebra
relational
relational-model
relational-programming
-
Updated
Mar 10, 2020 - Ruby
A Functional/Relational Object Store
-
Updated
Feb 1, 2024 - Ruby
A microKanren implementation in Hy with constraints
-
Updated
Mar 21, 2019 - Hy
A template repository for relational programming using OCanren
-
Updated
Feb 20, 2023 - OCaml
Improve this page
Add a description, image, and links to the relational-programming topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the relational-programming topic, visit your repo's landing page and select "manage topics."