minikanren
There are 45 repositories under minikanren topic.
webyrd/mediKanren
Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
pythological/kanren
An extensible, lightweight relational/logic programming DSL written in pure Python
namin/staged-miniKanren
multi-stage relational programming for staged relational interpreters: running with holes, faster
PLTools/OCanren
Statically typed embedding of miniKanren relational programming language into OCaml
ekzhang/ukanren-rs
Rust implementation of µKanren, a featherweight relational programming language.
hylang/hydiomatic
The Hy Transformer
pymc-devs/symbolic-pymc
Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
awalterschulze/gominikanren
a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.
namin/clpsmt-miniKanren
CLP(SMT) on top of miniKanren
brandonwillard/kanren-old
Logic Programming in Python
namin/metamk
Prolog-Style Meta-Interpreters in miniKanren
namin/leanTAP
A Declarative Theorem Prover for First-Order Classical Logic
mthom/shen-minikanren
An embedding of miniKanren in Shen.
rntz/minikanren-datalog
Datalog implemented in minikanren
namin/clpset-miniKanren
CLP(Set) in miniKanren
namin/minikanren-confo
core.logic.nominal at the minikanren confo 2013
the-language/zKanren
zKanren
xieyuheng/exo
logic programming in elixir
chansey97/clprosette-miniKanren
CLP(Rosette) on top of miniKanren
ethframe/microkanren
microKanren in python
massimo-nocentini/microkanrenpy
A Pythonic implementation of *microkanren* logic language
snejugal/typedKanren
A statically typed embedding of miniKanren in Haskell
dalev/minikanren-typed-racket
An implementation of miniKanren in Typed Racket.
rymaju/mykanren
Racket implementation of minikanren using The Reasoned Schemer Second Edition syntax.
shouya/ckini
A miniKanren implementation in Elixir
yuretz/kanrenmo
Kanrenmō - miniKanren for .NET
arsalan0c/kanren
Kanren(s) embedded in OCaml for logic programming
fiddlerwoaroof/reazon-cl
A quick implementation of miniKanren in CL
dwayne/elm-trs2
The Reasoned Schemer (2nd Edition) in Elm.
shd101wyy/logic.dart
Minikanren implemented in dart language based on logic.js repository.
program-in-chinese/flo
一种可读的编程语言/DSL。别名beat/bit
famished-tiger/mini_kraken
A (still partial) miniKanren implementation in Ruby.
jasonhemann/tfp-2023
tfp-version-of-conj-disj
Kakadu/ocanren-perf
Benchmarks for different miniKanren implementations
pluralia/uKanren_translator
Translator miniKanren to Haskell
xavierpinho/microKanren-demo
μKanren in Haskell 98