yinwang0/tinyKanren yinwang0/tinyKanren

  • Stars
    star
    49
  • Rank 573,894 (Top 12 %)
  • Language
    Racket
  • Created about 2 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
yinwang0/tinyKanren
github

yinwang0

Reviews

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

Repository Details

A minimalist revision of the miniKanren language with no additional features

More Repositories

1

pysonar2

PySonar2: a semantic indexer for Python with interprocedual type inference
Java
1,377
star
2

rubysonar

A semantic indexer for Ruby with interprocedual type inference
Java
189
star
3

yscheme

A compiler from Scheme into X64
Scheme
185
star
4

ydiff

A structural comparison tool for Lisp family languages, with experimental C++, JS support
Emacs Lisp
184
star
5

psydiff

A structural comparison tool for Python
Python
114
star
6

historical

Some educational code written 10+ years ago at IU
Scheme
24
star
7

ykanren

miniKanren with a constraint-based negation operator
Scheme
10
star
8

cs231n

My solutions to Stanford cs231n computer vision course
Jupyter Notebook
4
star