gregr/dKanren gregr/dKanren

  • Stars
    star
    15
  • Rank 1,371,379 (Top 28 %)
  • Language
    Racket
  • License
    MIT License
  • Created over 7 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
gregr/dKanren
github

gregr

Reviews

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

Repository Details

miniKanren variant with a functional syntax, expressing disjunction via pattern matching

More Repositories

1

dbKanren

Kanren with databases
Racket
35
star
2

icfp2017-artifact-auas7pp

ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems
Scheme
28
star
3

ina

experimental computational medium and supporting tools
Scheme
22
star
4

experiments

a steady descent into madness
Racket
12
star
5

first-order-miniKanren

miniKanren with a first-order representation of the search space
Racket
10
star
6

racket-misc

miscellaneous racket utilities that I find useful
Racket
10
star
7

demo-livingnet

demo of an alternative to the web
Racket
7
star
8

tutorial-relational-interpreters

One Weird Trick: Relational Interpreters for Program Synthesis
Racket
6
star
9

vbox

some basic scripting of virtualbox
Shell
4
star
10

old-and-miscellaneous

several piles of garbage for the price of one
Python
2
star
11

elm-goban

tools for go/igo/weiqi/baduk using elm
Elm
2
star
12

chive

chive programming language implementation
Python
1
star