darius / pythologicalLinks
A MiniKanren in Python
☆35Updated 9 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☆53Updated 11 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Updated 2 years ago
- Python term rewriting☆30Updated 12 years ago
- Data Flow Matrix Machines. Generalization of recurrent neural networks.☆15Updated 9 months ago
- ☆72Updated 4 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆18Updated last month
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 8 years ago
- ☆35Updated 11 years ago
- Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.☆20Updated 7 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- experimental computational medium and supporting tools☆23Updated last month
- ☆34Updated 4 years ago
- ☆71Updated 5 years ago
- A module for handling continuations in Python☆32Updated 8 years ago
- Primary implementation of the Venture probabilistic programming system☆28Updated 5 years ago
- ☆21Updated 12 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 12 years ago
- Prolog Implementation in Python☆12Updated 7 years ago
- Bill's Utilities for Gambit Scheme☆17Updated 4 years ago
- Smallish programs written to learn something.☆51Updated last year
- My MSc thesis: a grammar induction system☆16Updated 9 years ago
- Dr. Bayes☆84Updated 9 years ago
- Yet another PEG parser combinator library and DSL☆56Updated 2 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆27Updated last month
- A fragmentary bidirectional type system as a Python library☆52Updated 6 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆47Updated last week
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆36Updated 12 years ago
- A comprehensive graph of mathematical domains and topics☆22Updated 3 years ago
- An implementation of the APL language in Python with the Numpy module☆29Updated 8 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