jtauber / pykanren
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
- Loghyc - a miniKanren implementation in Hy☆88Updated 5 years ago
- APL compiler written in Standard ML☆35Updated 4 years ago
- RPySOM - The Simple Object Machine Smalltalk implemented in RPython☆15Updated 4 years ago
- A module for handling continuations in Python☆32Updated 8 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 fragmentary bidirectional type system as a Python library☆52Updated 6 years ago
- A small demo lambda-language written in Python☆31Updated 6 years ago
- Union types and some other functional-y stuff for Hy☆51Updated 9 years ago
- Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.☆126Updated 12 years ago
- A simple IPython kernel for Hy☆47Updated 3 years ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- The Hy Transformer☆82Updated 5 years ago
- Yet another PEG parser combinator library and DSL☆56Updated last year
- Constraint programming language embedded in Racket☆153Updated 3 years ago
- An implementation of scheme that can call python modules☆21Updated 11 years ago
- A Python 3 compiler that anyone can understand.☆67Updated 10 years ago
- Examples of the nice parts of Racket☆22Updated 7 years ago
- A Python implementation for Racket☆149Updated 7 years ago
- Canonical miniKanren implementation in Racket☆84Updated 3 years ago
- Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014☆73Updated 3 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- Use Travis CI with Racket☆42Updated 4 years ago
- Code, wiki, and resources for the weekly miniKanren uncourse☆52Updated 10 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
- Shen on python.☆20Updated 10 years ago
- Pure python functional programming☆28Updated 15 years ago
- Algebraic data types for python☆22Updated 8 years ago
- ☆56Updated 7 years ago
- Relational interpreter in miniKanren that can generate quines☆131Updated 10 years ago