gregr/ina gregr/ina

  • Stars
    star
    22
  • Rank 1,026,730 (Top 21 %)
  • Language
    Scheme
  • License
    BSD 2-Clause "Sim...
  • Created almost 9 years ago
  • Updated about 1 month ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
gregr/ina
github

gregr

Reviews

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

Repository Details

experimental computational medium and supporting tools

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

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