minikanren

There are 3 repositories under minikanren topic.

• webyrd / mediKanren

  Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.

  minikanrenncats-translatorracket
  Language:Racket 316

• pythological / kanren

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

  clpconstraint-logic-programminglogic-programmingminikanrenrelational-programmingsymbolic-computation
  Language:Python 157

• namin / staged-miniKanren

  staged relational interpreters: running with holes, faster

  schememinikanrenmulti-stage-programminggenerative-programming
  Language:Racket 122

• PLTools / OCanren

  Statically typed embedding of miniKanren relational programming language into OCaml

  minikanrenocamlrelational-programming
  Language:OCaml 113

• ekzhang / ukanren-rs

  Rust implementation of µKanren, a featherweight relational programming language.

  microkanrenminikanrenrustlogic-programmingfunctional-programminglanguageprolog
  Language:Rust 107

• hylang / hydiomatic

  The Hy Transformer

  hylogic-programmingminikanrenpythonstatic-code-analysissymbolic-computation
  Language:Hy 79

• pymc-devs / symbolic-pymc

  Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.

  bayesianminikanrenprobabilistic-programmingpymcrelational-programmingsymbolic-computationsymbolic-mathtensorflowtheano
  Language:Python 61

• namin / clpsmt-miniKanren

  CLP(SMT) on top of miniKanren

  schememinikanrenlogic-programmingconstraintssmt
  Language:Scheme 36

• awalterschulze / gominikanren

  a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.

  gologic-programmingminikanren
  Language:Go 35

• namin / metamk

  Meta-Interpreters in miniKanren

  schememinikanrenmetaprogrammingmetalogic-programmingreflection
  Language:Scheme 31

• brandonwillard / kanren-old

  Logic Programming in Python

  computer-algebralogic-programmingminikanrenrelational-programmingrelational-reasoningsat-solverunification
  Language:Python 30

• namin / leanTAP

  A Declarative Theorem Prover for First-Order Classical Logic

  schemeclojureminikanrentheorem-prover
  Language:Scheme 25

• mthom / shen-minikanren

  An embedding of miniKanren in Shen.

  shenminikanren
  Language:Shen 24

• rntz / minikanren-datalog

  Datalog implemented in minikanren

  datalogminikanrenlogic-programmingkanren
  Language:Scheme 24

• namin / clpset-miniKanren

  CLP(Set) in miniKanren

  schememinikanrenprologlogic-programmingconstraintspaper-implementations
  Language:Scheme 19

• namin / minikanren-confo

  core.logic.nominal at the minikanren confo 2013

  clojureminikanrenpaper-implementations
  Language:Clojure 17

• the-language / zKanren

  zKanren

  lisplisp-librarymicrokanrenminikanrenracketracket-languageschemescheme-library
  Language:Racket 12

• chansey97 / clprosette-miniKanren

  CLP(Rosette) on top of miniKanren

  constraint-logic-programmingconstraintslogic-programmingminikanrenracketrosettesmt
  Language:Racket 9

• ethframe / microkanren

  microKanren in python

  pythonmicrokanrenminikanrenlogical-programmingrelational-programmingpython-3
  Language:Python 9

• massimo-nocentini / microkanrenpy

  A Pythonic implementation of *microkanren* logic language

  microkanrenminikanrenlogic-programmingpython3
  Language:Python 9

• xieyuheng / exo

  logic programming in elixir

  logic-programmingelixirminikanrenmicrokanrenthe-reasoned-schemer
  Language:Elixir 9

• rymaju / mykanren

  Racket implementation of minikanren using The Reasoned Schemer Second Edition syntax.

  minikanrenracketthe-reasoned-schemer
  Language:Racket 5

• shouya / ckini

  A miniKanren implementation in Elixir

  minikanrenelixirmacro
  Language:Elixir 5

• arsalan0c / kanren

  Kanren(s) embedded in OCaml for logic programming

  logic-programminglogicrelationskanrenmicrokanrenminikanrenocaml
  Language:OCaml 4

• dalev / minikanren-typed-racket

  An implementation of miniKanren in Typed Racket.

  racketminikanrentyped-racket
  Language:Racket 4

• yuretz / kanrenmo

  Kanrenmō - miniKanren for .NET

  dotnetlibrarylogic-programmingminikanrenrelational-programming
  Language:C# 4

• fiddlerwoaroof / reazon-cl

  A quick implementation of miniKanren in CL

  common-lisplogic-programmingminikanren
  Language:Common Lisp 3

• shd101wyy / logic.dart

  Minikanren implemented in dart language based on logic.js repository.

  logicminikanren
  Language:Dart 3

• program-in-chinese / flo

  一种可读的编程语言/DSL。别名beat/bit

  flashflowaplchineseprogramming-languagedslwasmforthprologminikanrenregexsqlqimnatural-languagenlpfsharperlangrust
  Language:Elixir 2

• famished-tiger / mini_kraken

  A (still partial) miniKanren implementation in Ruby.

  minikanren
  Language:Ruby 1

• jasonhemann / tfp-2023

  tfp-version-of-conj-disj

  conjunctiondisjunctionmicrokanrenminikanren
  Language:TeX 1

• Kakadu / ocanren-perf

  Benchmarks for different miniKanren implementations

  ocamlminikanren
  Language:OCaml 1

• pluralia / uKanren_translator

  Translator miniKanren to Haskell

  haskellminikanrentranslator
  Language:Haskell 1

• xavierpinho / microKanren-demo

  μKanren in Haskell 98

  logic-programmingmicrokanrenminikanrenrelational-programming
  Language:Haskell 1

• chansey97 / the-reasoned-schemer

  Valuable code and experiments about the book "The Reasoned Schemer"

  minikanrenracketthe-reasoned-schemer
  Language:Racket

• xavdid / seven-more-languages

  My solutions to the exercises in "Seven More Languages in Seven Weeks"

  elixirelmfactoridrisjulialuaminikanren
  Language:Elixir