yinwang0 Goto Github PK

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

cs231n

My solutions to Stanford cs231n computer vision course

drracket-paredit

Some useful shortcuts for DrRacket

faster-minikanren

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

historical

Some educational code written 10+ years ago at IU

j-bob

linnstrument-firmware

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

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.

pie

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

psydiff

A structural comparison tool for Python

pysonar2

PySonar2: a semantic indexer for Python with interprocedual type inference

rubysonar

A semantic indexer for Ruby with interprocedual type inference

scheme-to-llvm

A compiler to compile a simple subset of scheme to LLVM 10

sicp

HTML5/EPUB3 version of SICP

tinykanren

A minimalist revision of the miniKanren language with no additional features

ydiff

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

ykanren

miniKanren with a constraint-based negation operator

yscheme

A compiler from Scheme into X64