ykanren. miniKanren with a pure negation operator
yin. the Yin programming language
yscheme. a compiler from a subset of Scheme into X64
