jasonhemann/novel-miniKanren-synthesis-tasks jasonhemann/novel-miniKanren-synthesis-tasks

  • Stars
    star
    2
  • Language
    Racket
  • License
    MIT License
  • Created over 4 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jasonhemann/novel-miniKanren-synthesis-tasks
github

jasonhemann

Reviews

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

Repository Details

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

More Repositories

1

microKanren

The implementation of microKanren, a featherweight relational programming language
Scheme
304
star
2

miniKanren

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

micro-in-mini

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

constraint-microKanren

A microKanren framework for implementing constraints.
Racket
18
star
5

microKanren-DLS-16

microKanren implementation from DLS '16
Racket
14
star
6

Roll-Your-Own-Relational-DSL

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

lambdajam2013

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

microKanren-shen

An implementation of microKanren in Shen
Shen
9
star
9

natlogic

Declarative Encoding of Natural and Syllogistic Logics
Racket
6
star
10

small-micro-w-disequality

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

lambdastar

The lambdastar macro for currying and beyond
4
star
12

xform-mk

Strange Loop 2014
Racket
3
star
13

microKanren-extempore

An implementation of miniKanren over microKanren in extempore
3
star
14

constraint-micro-lambda-jam

Constraint microKanren presentation at Lambda Jam
Racket
3
star
15

dependently-typed-lang

A small, dependently-typed language
Racket
3
star
16

22FA-CSAS4117

Fall 22 version of CSAS 41117
HTML
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