darius / pythologicalLinks
A MiniKanren in Python
☆36Updated 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☆54Updated 11 years ago
- John Shutt's "Kernel" language implemented on ABE (C) runtime.☆13Updated 7 years ago
- Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.☆20Updated 8 years ago
- Data Flow Matrix Machines. Generalization of recurrent neural networks.☆15Updated last year
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 6 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Updated 2 years ago
- ☆34Updated 5 years ago
- ☆71Updated 4 years ago
- experimental computational medium and supporting tools☆23Updated this week
- Julia Implementation of Unums☆42Updated 8 years ago
- Loghyc - a miniKanren implementation in Hy☆89Updated 5 years ago
- Prolog Implementation in Python☆12Updated 8 years ago
- Probabilistic miniKanren☆67Updated 10 years ago
- A module for handling continuations in Python☆32Updated 9 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆13Updated 3 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Updated 10 years ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Updated 6 years ago
- The Hy Transformer☆83Updated 6 years ago
- Smallish programs written to learn something.☆50Updated 2 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
- An implementation of the APL language in Python with the Numpy module☆29Updated 9 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 8 years ago
- Art of Prolog Code☆36Updated 6 years ago
- Consolidated J language code referenced in my blog Analyze the Data not the Drivel☆38Updated 3 weeks ago
- Yet another PEG parser combinator library and DSL☆56Updated 2 years ago
- ☆35Updated 11 years ago
- DAYDREAMER goal-based agent☆78Updated 4 years ago
- ☆71Updated 5 years ago
- Bill's Utilities for Gambit Scheme☆17Updated 5 years ago
- Union types and some other functional-y stuff for Hy☆52Updated 9 years ago