• Stars
    star
    304
  • Rank 137,274 (Top 3 %)
  • Language
    Scheme
  • Created about 11 years ago
  • Updated over 10 years ago

Reviews

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

Repository Details

The implementation of microKanren, a featherweight relational programming language

µKanren

Copyright (C) 2013 Jason Hemann and Daniel P. Friedman

Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:

The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.

THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

More Repositories

1

miniKanren

An outdated miniKanren implementation with a not-pairo constraint
Scheme
30
star
2

micro-in-mini

an implementation of a microKanren(-like language) in miniKanren
Racket
25
star
3

constraint-microKanren

A microKanren framework for implementing constraints.
Racket
18
star
4

microKanren-DLS-16

microKanren implementation from DLS '16
Racket
14
star
5

Roll-Your-Own-Relational-DSL

Lambda Jam 2014: Roll Your Own Relational DSL
Racket
14
star
6

lambdajam2013

Code for the interpreters workshop at Lambda Jam 2013
Scheme
13
star
7

microKanren-shen

An implementation of microKanren in Shen
Shen
9
star
8

natlogic

Declarative Encoding of Natural and Syllogistic Logics
Racket
6
star
9

small-micro-w-disequality

An early exploration of a "microKanren style" of constraints.
Racket
5
star
10

lambdastar

The lambdastar macro for currying and beyond
4
star
11

xform-mk

Strange Loop 2014
Racket
3
star
12

microKanren-extempore

An implementation of miniKanren over microKanren in extempore
3
star
13

constraint-micro-lambda-jam

Constraint microKanren presentation at Lambda Jam
Racket
3
star
14

dependently-typed-lang

A small, dependently-typed language
Racket
3
star
15

22FA-CSAS4117

Fall 22 version of CSAS 41117
HTML
2
star
16

novel-miniKanren-synthesis-tasks

Examples and code repository to accompany Hemann & Friedman 2020 mKW paper
Racket
2
star
17

jot-code

jot code of various flavors
Scheme
2
star
18

mK-miniKanren-interpreter

a miniKanren interpreter written in miniKanren
Scheme
2
star
19

micro-semantics

Repository for kanren semantics work
TeX
1
star
20

jasonhemann.github.io

Personal Website
HTML
1
star
21

mk-search-w-continuations

Continuation-based implementation of miniKanren search
Racket
1
star
22

emacs

My emacs configuration
Emacs Lisp
1
star
23

relational-quasiquote-unquote

Implementing a relational interpreter with quasiquote and unquote
Scheme
1
star
24

lolchez

A LOLCODE interpreter written in Chez Scheme.
Scheme
1
star
25

23SP-CS2126

Spring 2023 edition of Data Structures and Algorithms
HTML
1
star
26

tfp-2023

tfp-version-of-conj-disj
TeX
1
star
27

21FA-CS4400

My remote version for CS4400, here as long as the CCS Github isn't working
Racket
1
star
28

multiple-of-threeo

A set of relations to determine if a miniKanren number is a multiple of three.
Racket
1
star