miniKanren/miniKanren_org-website miniKanren/miniKanren_org-website

  • Stars
    star
    9
  • Rank 1,899,950 (Top 39 %)
  • Language
    HTML
  • Created over 11 years ago
  • Updated about 2 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
miniKanren/miniKanren_org-website
github

miniKanren

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

miniKanren

Canonical miniKanren implementation
Scheme
350
star
2

TheReasonedSchemer

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

Racket-miniKanren

Canonical miniKanren implementation in Racket
Racket
84
star
4

simple-miniKanren

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

sokuza-kanren

Oleg Kiselyov's minimal implementation of logic programming
Scheme
23
star