zhengguan/advanced-dan
Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"
Developer Profile
zhengguan
Discovered public repositories for zhengguan in the GitHub catalog.
zhengguan/ydiff-1
a structural comparison tool for Lisp
zhengguan/vicare
A native compiler for Scheme compliant with R6RS
zhengguan/ykanren
miniKanren with a pure negation operator
zhengguan/yscheme
a compiler from a subset of Scheme into X64
zhengguan/yin
the Yin programming language
zhengguan/Smallhammer
A set of plugins for using vim to develop Scheme in Petite Chez Scheme.
zhengguan/lightsabers-1
They contain so few lines of code, yet so few people get them right.
zhengguan/rubysonar
a type inferencer and indexer for Ruby
zhengguan/iu_c311
exercise for eopl and c311 of IU
zhengguan/lambdajam
Workshop on Program Transformations at Lambda Jam 2013
zhengguan/languages
编程语言学习论坛
zhengguan/oh-my-zsh
A community-driven framework for managing your zsh configuration. Includes 120+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, macports, etc), over 120 themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
zhengguan/spf13-vim
The ultimate vim distribution
zhengguan/ylang
The Y Programming Language - Yin's private programming langauge
zhengguan/pysonar2
an advanced static analyzer for Python
zhengguan/Grad-School-Code
Some Code from my Grad School Courses
zhengguan/nanopass-framework
The new nanopass framework; an embedded DSL for writing compilers in Scheme
zhengguan/tiny-scheme
an optimizing compiler from Scheme to X64
zhengguan/miniKanren-will
Will's personal version of miniKanren, since he can never find the version he wants
zhengguan/miniKanren-jason
the most up-to-date original miniKanren (forked from Dan's recent C311 class)
zhengguan/sparsec
a parser combinator library in Scheme
zhengguan/minikanren-negation
miniKanren with a "pure" negation operator
zhengguan/pydiff
a structural comparison tool for Python (forerunner of ydiff)
zhengguan/misc
my dirty code repo
zhengguan/mini-pysonar
a prototype version of PySonar static analyzer
zhengguan/proofs
some interesting proof scripts
zhengguan/lightsabers
little gadgets that cut through most things without resistance.
zhengguan/ydiff
a tool for structural comparison of programs