Research Tools: code, datasets, & models

VCC is a mechanical verifier for concurrent C programs. VCC takes a C program, annotated with function specifications, data invariants, loop invariants, and ghost code, and tries to prove these annotations correct. If it succeeds,…

Machine learning tools for modeling viral adaptation to host immune responses.

Mping is a simple command line application that sends and receives multicast packets. Last published: March 16, 2016.

StereoMatcher is an implementation of some commonly used two-frame stereo matching algorithms. It also contains code to evaluate the quality of a computed depth map relative to a ground truth image.

JCLUSTER is a fast simple clustering program that produces hierarchical, binary branching, tree structured clusters. Last published: March 16, 2016.

Mppt is an add-in for PowerPoint that allows a presenter to multicast PowerPoint slides, including animations and effects, to a group of viewers. Last published: March 16, 2016

Fran is a Haskell library (or “embedded language”) for interactive animations with 2D and 3D graphics and sound. Last published: March 16, 2016.

The WinMine Toolkit contains a set of tools that allow you to build statistical models from data. Last published: February 19, 2016.

Prototype IPv6 stack for Windows NT and Windows 2000, for research, educational, and testing purposes only.

Plumbago reimagines the notebook! Plumbago is a digital notebook with handwriting smoothing, realistic ink, and paper, and more. Features include: Smooth handwriting — Adjust the smoothing level you want for beautiful handwriting. Realistic ink and…