Xi Wang

stack. A static checker for identifying unstable code.

mini-mc. minimal symbolic model checker & fuzzer

libo. Integer arithmetic with overflow detection

arithcc. Lean

homebrew-jos. Ruby

sparse. C

splay. sparse => llvm

jos-15au. CSE 451 15au

qemu. Patches for running qemu with the MIT 6.828 lab courseware.

xv6. xv6 OS

sky. A JavaScript library for visualizing celestial objects.

clang. Mirror of official clang git repository located at http://llvm.org/git/clang. Updated hourly.

ruby. The Ruby Programming Language