jtauber / pykanrenLinks
an attempt to implement miniKanren and microKanren in Python
☆52Updated 10 years ago
Alternatives and similar repositories for pykanren
Users that are interested in pykanren are comparing it to the libraries listed below
Sorting:
- Loghyc - a miniKanren implementation in Hy☆88Updated 5 years ago
- A module for handling continuations in Python☆32Updated 8 years ago
- RPySOM - The Simple Object Machine Smalltalk implemented in RPython☆15Updated 4 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- APL compiler written in Standard ML☆35Updated 4 years ago
- Pure python functional programming☆28Updated 15 years ago
- A language for describing Python programs with concise higher-order annotations like "(a -> a) -> [a] -> [a]" but don't you dare call the…☆59Updated 11 years ago
- Union types and some other functional-y stuff for Hy☆51Updated 9 years ago
- Visualize Lisp in Three Dimensions☆62Updated 8 years ago
- Yet another PEG parser combinator library and DSL☆56Updated last year
- A Python 3 compiler that anyone can understand.☆67Updated 10 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
- Purely functional statically typed Lisp which compiles to JavaScript☆47Updated 7 years ago
- A small demo lambda-language written in Python☆32Updated 6 years ago
- A series of progressively more complex programming languages☆36Updated 10 years ago
- Hy Monad Notation - a monad library for Hy☆55Updated last year
- A simple IPython kernel for Hy☆47Updated 3 years ago
- An implementation of scheme that can call python modules☆21Updated 11 years ago
- The Hy Transformer☆83Updated 6 years ago
- exploratory programming for an object system in common lisp☆14Updated 9 years ago
- ☆57Updated 7 years ago
- A fragmentary bidirectional type system as a Python library☆52Updated 6 years ago
- Toy interpreters for learning about the RPython Translation Toolchain☆15Updated 10 years ago
- Algebraic data types for python☆22Updated 8 years ago
- A MiniKanren in Python☆35Updated 8 years ago
- A self-hosting Scheme to JavaScript compiler☆33Updated 15 years ago
- Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.☆126Updated 12 years ago
- Immutable Data Structures for Python☆75Updated 9 years ago
- Function annotations for Hylang!☆11Updated 10 years ago
- 301 moved permanently https://github.com/python-parsy/parsy☆42Updated 7 years ago