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
- RPySOM - The Simple Object Machine Smalltalk implemented in RPython☆15Updated 4 years ago
- git svn clone --stdlayoout https://lush.svn.sourceforge.net/svnroot/lush + suggestions + debianisation☆21Updated 12 years ago
- Hy Monad Notation - a monad library for Hy☆55Updated last year
- APL compiler written in Standard ML☆35Updated 4 years ago
- Union types and some other functional-y stuff for Hy☆51Updated 9 years ago
- Yet another PEG parser combinator library and DSL☆56Updated last year
- An implementation of the clustering algorithm k-means in J.☆13Updated 10 years ago
- A module for handling continuations in Python☆32Updated 8 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- A small demo lambda-language written in Python☆32Updated 6 years ago
- A fragmentary bidirectional type system as a Python library☆52Updated 6 years ago
- Function annotations for Hylang!☆11Updated 10 years ago
- A MiniKanren in Python☆35Updated 8 years ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- A small forth-like language that targets the CPython VM.☆52Updated 6 years ago
- Python interpreter for Peter Landin's SECD abstract machine.☆42Updated 12 years ago
- A simple IPython kernel for Hy☆47Updated 3 years ago
- A Lisp syntax for Haskell.☆22Updated 13 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 self-hosting Scheme to JavaScript compiler☆33Updated 15 years ago
- The first (and only) Hy unit testing framework☆29Updated 8 years ago
- Visualize Lisp in Three Dimensions☆62Updated 8 years ago
- The Hy Transformer☆83Updated 6 years ago
- A Python 3 compiler that anyone can understand.☆67Updated 10 years ago
- All code examples from "The Little Prover" book☆23Updated 9 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆46Updated 7 years ago
- Algebraic data types for python☆22Updated 8 years ago
- An implementation of scheme that can call python modules☆21Updated 11 years ago
- Compile-time metaprogramming for OCaml☆73Updated 10 months ago