darius / pythologicalLinks
A MiniKanren in Python
☆35Updated 8 years ago
Alternatives and similar repositories for pythological
Users that are interested in pythological are comparing it to the libraries listed below
Sorting:
- an attempt to implement miniKanren and microKanren in Python☆52Updated 10 years ago
- A module for handling continuations in Python☆32Updated 8 years ago
- git svn clone --stdlayoout https://lush.svn.sourceforge.net/svnroot/lush + suggestions + debianisation☆21Updated 12 years ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆35Updated 12 years ago
- An implementation of the clustering algorithm k-means in J.☆13Updated 10 years ago
- Python term rewriting☆30Updated 12 years ago
- Naive Bayesian Classifier written in APL☆24Updated 7 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 12 years ago
- Pyrolog: A Prolog interpreter written in Python using the PyPy translator toolchain. Clone of https://bitbucket.org/cfbolz/pyrolog☆24Updated 11 years ago
- A streaming cross-cat inference engine☆49Updated 10 years ago
- Chatbot impls in Prolog☆15Updated 3 years ago
- Lojban ologs (categorical databases) using jq☆24Updated 6 years ago
- Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.☆20Updated 7 years ago
- Automatic differentiation for NumPy☆42Updated 12 years ago
- My MSc thesis: a grammar induction system☆16Updated 9 years ago
- ☆71Updated 4 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆13Updated 8 years ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆57Updated 16 years ago
- experimental computational medium and supporting tools☆23Updated last week
- DeepAlgebra☆25Updated 7 years ago
- Propositional calculus in Haskell☆11Updated 8 years ago
- A system for computational category theory and applications☆38Updated 9 years ago
- Primary implementation of the Venture probabilistic programming system☆27Updated 5 years ago
- Julia Implementation of Unums☆42Updated 8 years ago
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 3 years ago
- Maybe next gen of Pyzo IDE based on Flexx☆17Updated 7 years ago
- An introduction to the basic ideas of commutative algebra☆17Updated 5 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆19Updated 3 years ago