GitHub topics: relational-programming
pythological/kanren
An extensible, lightweight relational/logic programming DSL written in pure Python
Language: Python - Size: 539 KB - Last synced at: 23 days ago - Pushed at: 23 days ago - Stars: 212 - Forks: 20
PLTools/OCanren
Statically typed embedding of miniKanren relational programming language into OCaml
Language: OCaml - Size: 9.04 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 118 - Forks: 18
dwayne/elm-trs2
The Reasoned Schemer (2nd Edition) in Elm.
Language: Elm - Size: 103 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
pymc-devs/symbolic-pymc
Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
Language: Python - Size: 3.79 MB - Last synced at: 3 days ago - Pushed at: over 1 year ago - Stars: 62 - Forks: 8
alhassy/PrologCheatSheet
Basics of relational programming with Prolog —PROgramming in LOGic ^_^
Language: Prolog - Size: 1.15 MB - Last synced at: 9 months ago - Pushed at: almost 5 years ago - Stars: 70 - Forks: 3
zera-x/taro
A Functional/Relational Object Store
Language: Ruby - Size: 22.5 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
yuretz/kanrenmo
Kanrenmō - miniKanren for .NET
Language: C# - Size: 98.6 KB - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 4 - Forks: 1
brandonwillard/kanren-old Fork of logpy/logpy
Logic Programming in Python
Language: Python - Size: 633 KB - Last synced at: 12 months ago - Pushed at: almost 4 years ago - Stars: 30 - Forks: 1
Erik-J-D/microKanren-py
Simple python3 implementation of microKanren with lots of type annotations for clarity
Language: Python - Size: 23.4 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 5 - Forks: 2
ethframe/microkanren
microKanren in python
Language: Python - Size: 66.4 KB - Last synced at: over 2 years ago - Pushed at: almost 5 years ago - Stars: 5 - Forks: 1
Kakadu/OCanren-basic-template
A template repository for relational programming using OCanren
Language: OCaml - Size: 29.3 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
lambduli/monolog
Small and simple logic programming language inspired by Prolog.
Language: Ruby - Size: 114 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 14 - Forks: 1
xavierpinho/microKanren-demo
μKanren in Haskell 98
Language: Haskell - Size: 2.93 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 1
brandonwillard/hypoKanren
A microKanren implementation in Hy with constraints
Language: Hy - Size: 53.7 KB - Last synced at: 4 months ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0
delonnewman/relational
Relational programming for Ruby
Language: Ruby - Size: 38.1 KB - Last synced at: 30 days ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
