FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Download Repo ZIP]   [Original HTTPS Page]

relational-programming · GitHub Topics · GitHub

Explore Topics Trending Collections Events GitHub Sponsors
#

relational-programming

Star

Here are 17 public repositories matching this topic...

Language: All
Filter by language
All 17 Python 4 OCaml 3 Ruby 2 C# 1 C++ 1 Elm 1 Haskell 1 Hy 1 Lean 1 Prolog 1
Sort: Most stars
Sort options
Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

pythological / kanren

Star 248

An extensible, lightweight relational/logic programming DSL written in pure Python

minikanren logic-programming symbolic-computation clp relational-programming constraint-logic-programming
  • Updated Aug 22, 2025
  • Python

PLTools / OCanren

Star 124

Statically typed embedding of miniKanren relational programming language into OCaml

ocaml minikanren relational-programming
  • Updated Aug 27, 2026
  • OCaml

alhassy / PrologCheatSheet

Star 78

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 65

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

brandonwillard / kanren-old

Sponsor
Star 31

Logic Programming in Python

computer-algebra minikanren logic-programming sat-solver unification relational-reasoning relational-programming
  • Updated Sep 28, 2021
  • Python

dont-rely-on-nulls / karuta

Star 25

A compiler for a relational programming language for the BEAM, written in OCaml

erlang nix functional-programming beam ocaml prolog minikanren compilers logic-programming kanren lfe relational-algebra relational-programming nix-flake lisp-flavoured-erlang
  • Updated Aug 29, 2026
  • OCaml

dwayne / elm-trs2

Star 10

The Reasoned Schemer (2nd Edition) in Elm.

elm minikanren logic-programming the-reasoned-schemer relational-programming
  • Updated Mar 1, 2025
  • Elm

ethframe / microkanren

Star 9

microKanren in python

python minikanren python-3 microkanren logical-programming relational-programming
  • Updated Aug 18, 2020
  • Python

rvs314 / chrKanren

Star 8

An implementation of miniKanren which provides support for Constraint Handling Rules (CHR)

minikanren program-synthesis logic-programming constraint-handling-rules relational-programming constraint-solving
  • Updated Jul 21, 2026
  • Scheme

yuretz / kanrenmo

Star 5

Kanrenmō - miniKanren for .NET

library dotnet minikanren logic-programming relational-programming
  • Updated Sep 18, 2021
  • C#

brandonwillard / hypoKanren

Sponsor
Star 2

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 2

A template repository for relational programming using OCanren

template ocaml relational-programming ocanren
  • Updated Dec 27, 2025
  • OCaml

xavierpinho / microKanren-demo

Star 1

μKanren in Haskell 98

minikanren logic-programming microkanren relational-programming
  • Updated Jan 9, 2022
  • Haskell

tompassarelli / clause

Star 1

a process-first relational programming language

programming-language rust compiler provenance code-generation logic-programming declarative-programming relational-programming semantic-modeling counterfactual-reasoning semantic-programming
  • Updated Aug 29, 2026
  • Lean

zera-x / taro

Star 0

A Functional/Relational Object Store

database functional-programming datalog relational-programming
  • Updated Feb 1, 2024
  • Ruby

doir-lang / libECRS

Star 0

Entity Component Relation System library.

ecs kanren relational-programming
  • Updated Jul 13, 2026
  • C++

delonnewman / relational

Sponsor
Star 0

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

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

Back | FazBrowse Home | New Git URL