Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for minikanren relational programming
minikanren
x
relational-programming
x
3 search results found
Kanren
⭐
115
An extensible, lightweight relational/logic programming DSL written in pure Python
Ocanren
⭐
109
Statically typed embedding of miniKanren relational programming language into OCaml
Symbolic Pymc
⭐
40
Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
Related Searches
Logic Programming Minikanren (9)
Python Minikanren (5)
Minikanren Microkanren (4)
Python Relational Programming (3)
Symbolic Computation Minikanren (3)
Racket Minikanren (3)
Scheme Minikanren (3)
Language Minikanren (3)
1-3 of 3 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.