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
- A module for handling continuations in Python☆32Updated 8 years ago
- A simple IPython kernel for Hy☆47Updated 3 years ago
- Hy Monad Notation - a monad library for Hy☆54Updated last year
- APL compiler written in Standard ML☆35Updated 4 years ago
- Matplotlib for Chez Scheme☆24Updated 5 years ago
- Union types and some other functional-y stuff for Hy☆51Updated 9 years ago
- Pure python functional programming☆28Updated 15 years ago
- The Hy Transformer☆81Updated 5 years ago
- ☆56Updated 7 years ago
- Yet another PEG parser combinator library and DSL☆56Updated last year
- A series of progressively more complex programming languages☆36Updated 10 years ago
- A Python implementation for Racket☆149Updated 7 years ago
- RPySOM - The Simple Object Machine Smalltalk implemented in RPython☆15Updated 4 years ago
- Hy on μKanren☆19Updated 9 years ago
- A small demo lambda-language written in Python☆31Updated 6 years ago
- Javascript interpreters featuring web workers☆38Updated 8 years ago
- git svn clone --stdlayoout https://lush.svn.sourceforge.net/svnroot/lush + suggestions + debianisation☆21Updated 12 years ago
- An implementation of scheme that can call python modules☆21Updated 11 years ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- Function annotations for Hylang!☆11Updated 10 years ago
- Visualize Lisp in Three Dimensions☆62Updated 8 years ago
- Algebraic data types for python☆22Updated 8 years ago
- foo☆35Updated 11 years ago
- ☆34Updated 11 years ago
- Canonical miniKanren implementation in Racket☆84Updated 3 years ago
- Relational interpreter in miniKanren that can generate quines☆131Updated 10 years ago
- An R5RS Scheme in JavaScript.☆16Updated 2 years ago
- Use Travis CI with Racket☆42Updated 4 years ago