relational-programming

There are 14 repositories under relational-programming topic.

pythological/kanren
An extensible, lightweight relational/logic programming DSL written in pure Python
Language:Python231 6 4124
PLTools/OCanren
Statically typed embedding of miniKanren relational programming language into OCaml
Language:OCaml119 10 718
alhassy/PrologCheatSheet
Basics of relational programming with Prolog —PROgramming in LOGic ^_^
Language:Prolog74 1 05
pymc-devs/symbolic-pymc
Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
Language:Python64 21 448
brandonwillard/kanren-old
Logic Programming in Python
Language:Python31 5 01
dwayne/elm-trs2
The Reasoned Schemer (2nd Edition) in Elm.
Language:Elm9 1 0
ethframe/microkanren
microKanren in python
Language:Python9 2 01
yuretz/kanrenmo
Kanrenmō - miniKanren for .NET
Language:C#5 1 01
brandonwillard/hypoKanren
A microKanren implementation in Hy with constraints
Language:Hy2 2 0
Kakadu/OCanren-basic-template
A template repository for relational programming using OCanren
Language:OCaml2 2 00
xavierpinho/microKanren-demo
μKanren in Haskell 98
Language:Haskell1 1 01
zera-x/taro
A Functional/Relational Object Store
Language:Ruby0 0 00
delonnewman/relational
Relational programming for Ruby
Language:Ruby3 0
doir-lang/libECRS
Entity Component Relation System library.
Language:C++