3 results found Sort:

pythological
kanren pythological
18
186
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
PLTools
OCanren PLTools
19
117
lgpl-2.1
11
Statically typed embedding of miniKanren relational programming language into OCaml
ocaml minikanren relational-programming
Created 2015-09-22
1,339 commits to master branch, last one 4 days 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