Proof-of-concept for reasoning over the SemMedDB knowledge base, using m...
An extensible, lightweight relational/logic programming DSL written in p...
staged relational interpreters: running with holes, faster
Statically typed embedding of miniKanren relational programming language...
Rust implementation of µKanren, a featherweight relational programming l...
The Hy Transformer
Tools for the symbolic manipulation of PyMC models, Theano, and TensorFl...
CLP(SMT) on top of miniKanren
a Go implementation of miniKanren, an embedded Domain Specific Language ...