Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for symbolic computation minikanren
minikanren
x
symbolic-computation
x
3 search results found
Kanren
⭐
115
An extensible, lightweight relational/logic programming DSL written in pure Python
Hydiomatic
⭐
79
The Hy Transformer
Symbolic Pymc
⭐
40
Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
Related Searches
Python Symbolic Computation (30)
Logic Programming Minikanren (9)
Python Minikanren (5)
Minikanren Microkanren (4)
Racket Minikanren (3)
Logic Programming Symbolic Computation (3)
Minikanren Relational Programming (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.