yinwang0

pysonar2

PySonar2: a semantic indexer for Python with interprocedual type inference

rubysonar

A semantic indexer for Ruby with interprocedual type inference

yscheme

A compiler from Scheme into X64

ydiff

A structural comparison tool for Lisp family languages, with experimental C++, JS support

psydiff

A structural comparison tool for Python

tinyKanren

A minimalist revision of the miniKanren language with no additional features

sicp

HTML5/EPUB3 version of SICP

linnstrument-firmware

The firmware of LinnStrument, an Open Revolutionary Expressive Musical Performance Controller

historical

Some educational code written 10+ years ago at IU

ykanren

miniKanren with a constraint-based negation operator

cs231n

My solutions to Stanford cs231n computer vision course

faster-miniKanren

A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.

pie

The Pie language, which accompanies The Little Typer by Friedman and Christiansen

ChezScheme

Chez Scheme

codeql

CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security (code scanning), LGTM.com, and LGTM Enterprise

drracket-paredit

Some useful shortcuts for DrRacket

j-bob

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