jtauber / pykanrenLinks
an attempt to implement miniKanren and microKanren in Python
☆53Updated 11 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☆89Updated 5 years ago
- A MiniKanren in Python☆35Updated 9 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
- A language for describing Python programs with concise higher-order annotations like "(a -> a) -> [a] -> [a]" but don't you dare call the…☆59Updated 12 years ago
- A small demo lambda-language written in Python☆32Updated 7 years ago
- Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.☆127Updated 12 years ago
- A Python implementation for Racket☆150Updated 7 years ago
- A module for handling continuations in Python☆32Updated 8 years ago
- Relational Programming in miniKanren☆52Updated 10 years ago
- A fragmentary bidirectional type system as a Python library☆52Updated 6 years ago
- ☆71Updated 4 years ago
- An implementation of scheme that can call python modules☆21Updated 12 years ago
- Hy Monad Notation - a monad library for Hy☆56Updated last year
- Functional-style recursive pattern matching in Python. Crazy stuff.☆29Updated 9 years ago
- Yet another PEG parser combinator library and DSL☆56Updated 2 years ago
- ☆58Updated 8 years ago
- All code examples from "The Little Prover" book☆23Updated 9 years ago
- new generation language☆20Updated 12 years ago
- Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014☆73Updated 4 years ago
- An Interpreter for Extended Relational Algebra (Scheme based)☆84Updated 8 years ago
- Pure python functional programming☆28Updated 15 years ago
- A Squeak/Smalltalk VM written in RPython.☆85Updated last year
- ☆58Updated 11 years ago
- The Hy Transformer☆84Updated 6 years ago
- Chart parser (Earley SPPF)☆27Updated 6 years ago
- APL compiler written in Standard ML☆34Updated 4 years ago
- Different Implementations of Norvig's spellchecker☆38Updated 10 years ago
- A series of progressively more complex programming languages☆36Updated 11 years ago
- A new logic programming language.☆175Updated 2 years ago
- A rudimentary Racket implementation using RPython☆266Updated this week