relational-programming

Here are 12 public repositories matching this topic...

delonnewman / relational

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

zera-x / taro

Star

A Functional/Relational Object Store

database functional-programming datalog relational-programming

Updated Feb 1, 2024
Ruby

brandonwillard / hypoKanren

Sponsor

Star

A microKanren implementation in Hy with constraints

constraint-programming logic-programming hy microkanren relational-programming

Updated Mar 21, 2019
Hy

Kakadu / OCanren-basic-template

Star

A template repository for relational programming using OCanren

template ocaml relational-programming ocanren

Updated Feb 20, 2023
OCaml

brandonwillard / kanren-old

Sponsor

Star

Logic Programming in Python

computer-algebra minikanren logic-programming sat-solver unification relational-reasoning relational-programming

Updated Sep 28, 2021
Python

ethframe / microkanren

Star

microKanren in python

python minikanren python-3 microkanren logical-programming relational-programming

Updated Aug 18, 2020
Python

xavierpinho / microKanren-demo

Star

μKanren in Haskell 98

minikanren logic-programming microkanren relational-programming

Updated Jan 9, 2022
Haskell

yuretz / kanrenmo

Star

Kanrenmō - miniKanren for .NET

library dotnet minikanren logic-programming relational-programming

Updated Sep 18, 2021
C#

alhassy / PrologCheatSheet

Star

Basics of relational programming with Prolog —PROgramming in LOGic ^_^

html pdf emacs prolog cheatsheet relational-programming

Updated Sep 16, 2020
Prolog

pymc-devs / symbolic-pymc

Sponsor

Star

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

pythological / kanren

Star

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

PLTools / OCanren

Star

Statically typed embedding of miniKanren relational programming language into OCaml

ocaml minikanren relational-programming

Updated Aug 25, 2024
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.

Curate this topic

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."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

relational-programming

Here are 12 public repositories matching this topic...

delonnewman / relational

zera-x / taro

brandonwillard / hypoKanren

Kakadu / OCanren-basic-template

brandonwillard / kanren-old

ethframe / microkanren

xavierpinho / microKanren-demo

yuretz / kanrenmo

alhassy / PrologCheatSheet

pymc-devs / symbolic-pymc

pythological / kanren

PLTools / OCanren

Improve this page

Add this topic to your repo