Yin Wang's repositories
tinyKanren
A minimalist revision of the miniKanren language with no additional features
linnstrument-firmware
The firmware of LinnStrument, an Open Revolutionary Expressive Musical Performance Controller
historical
Some educational code written 10+ years ago at IU
faster-miniKanren
A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
ChezScheme
Chez Scheme
drracket-paredit
Some useful shortcuts for DrRacket
miniKanren
Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'.
miniKanren-with-symbolic-constraints
Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.
scheme-to-llvm
A compiler to compile a simple subset of scheme to LLVM 10