gregr/experiments gregr/experiments

  • Stars
    star
    12
  • Rank 1,564,304 (Top 32 %)
  • Language
    Racket
  • Created almost 12 years ago
  • Updated 9 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
gregr/experiments
github

gregr

Reviews

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

Repository Details

a steady descent into madness

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

dKanren

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