Associate Professor of Computer Science and Engineering at UC Santa Cruz
glulx-llvm. An experimental LLVM backend for the Glulx VM, and associated tools.
counting-benchmarks. A collection of model counting (#SAT) benchmarks.
maxcount. An approximate Max#SAT solver.
scipy. SciPy library main repository
