Discover @miniKanren Open Source projects

miniKanren.org (@miniKanren)

miniKanren

Stars
667
Global Rank 43,806 (Top 2 %)
Followers 311
Registered over 11 years ago
Most used languages

Scheme
66.7 %

HTML
16.7 %

Racket
16.7 %

miniKanren

Canonical miniKanren implementation

TheReasonedSchemer

Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.

Racket-miniKanren

Canonical miniKanren implementation in Racket

simple-miniKanren

Simple miniKanren, with only ==, fresh, and conde. A good starting point for exploratory hacking.

sokuza-kanren

Oleg Kiselyov's minimal implementation of logic programming

miniKanren_org-website

Files for the miniKanren.org website. If you would like to update the site, please do so and send a pull request!