gregr/icfp2017-artifact-auas7pp gregr/icfp2017-artifact-auas7pp

  • Stars
    star
    28
  • Rank 863,518 (Top 18 %)
  • Language
    Scheme
  • License
    MIT License
  • Created about 7 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
gregr/icfp2017-artifact-auas7pp
github

gregr

Reviews

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

Repository Details

ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems

More Repositories

1

dbKanren

Kanren with databases
Racket
35
star
2

ina

experimental computational medium and supporting tools
Scheme
22
star
3

dKanren

miniKanren variant with a functional syntax, expressing disjunction via pattern matching
Racket
15
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