jasonhemann/miniKanren

Stars
30
Rank 839,658 (Top 17 %)
Language
Scheme
Created over 11 years ago
Updated almost 11 years ago

jasonhemann/miniKanren

jasonhemann

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

An outdated miniKanren implementation with a not-pairo constraint

microKanren

The implementation of microKanren, a featherweight relational programming language

micro-in-mini

an implementation of a microKanren(-like language) in miniKanren

constraint-microKanren

A microKanren framework for implementing constraints.

microKanren-DLS-16

microKanren implementation from DLS '16

Roll-Your-Own-Relational-DSL

Lambda Jam 2014: Roll Your Own Relational DSL

lambdajam2013

Code for the interpreters workshop at Lambda Jam 2013

microKanren-shen

An implementation of microKanren in Shen

natlogic

Declarative Encoding of Natural and Syllogistic Logics

small-micro-w-disequality

An early exploration of a "microKanren style" of constraints.

lambdastar

The lambdastar macro for currying and beyond

xform-mk

Strange Loop 2014

microKanren-extempore

An implementation of miniKanren over microKanren in extempore

constraint-micro-lambda-jam

Constraint microKanren presentation at Lambda Jam

dependently-typed-lang

A small, dependently-typed language

22FA-CSAS4117

Fall 22 version of CSAS 41117

novel-miniKanren-synthesis-tasks

Examples and code repository to accompany Hemann & Friedman 2020 mKW paper

jot-code

jot code of various flavors

mK-miniKanren-interpreter

a miniKanren interpreter written in miniKanren

micro-semantics

Repository for kanren semantics work

jasonhemann.github.io

Personal Website

mk-search-w-continuations

Continuation-based implementation of miniKanren search

emacs

My emacs configuration

relational-quasiquote-unquote

Implementing a relational interpreter with quasiquote and unquote

lolchez

A LOLCODE interpreter written in Chez Scheme.

23SP-CS2126

Spring 2023 edition of Data Structures and Algorithms

tfp-2023

tfp-version-of-conj-disj

21FA-CS4400

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

multiple-of-threeo

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