6 results found Sort:

webyrd
mediKanren webyrd
53
325
mit
30
Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
racket minikanren ncats-translator
Created 2017-11-17
1,886 commits to master branch, last one 4 days ago
pythological
kanren pythological
18
185
other
8
An extensible, lightweight relational/logic programming DSL written in pure Python
clp minikanren logic-programming symbolic-computation relational-programming constraint-logic-programming
Created 2019-03-20
513 commits to main branch, last one about a year ago
namin
staged-miniKanren namin
16
125
unknown
13
staged relational interpreters: running with holes, faster
racket scheme minikanren generative-programming multi-stage-programming
Created 2017-11-05
1,128 commits to semantics branch, last one 8 days ago
PLTools
OCanren PLTools
19
118
lgpl-2.1
11
Statically typed embedding of miniKanren relational programming language into OCaml
ocaml minikanren relational-programming
Created 2015-09-22
1,333 commits to master branch, last one 3 months ago
ekzhang
ukanren-rs ekzhang
5
111
mit
3
Rust implementation of µKanren, a featherweight relational programming language.
rust prolog language minikanren microkanren logic-programming functional-programming
Created 2021-09-10
31 commits to main branch, last one about a year ago
pymc-devs
symbolic-pymc pymc-devs
8
61
other
23
Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
pymc theano bayesian minikanren tensorflow symbolic-math symbolic-computation relational-programming probabilistic-programming
Created 2019-02-16
251 commits to master branch, last one 4 years ago