Explore projects

Repository containing the implementations and data of the PhD thesis of Davide Cavezza

MetamorphicCL, a compiler testing tool for OpenCL

Dan Liew's personal KLEE-CL repo.

This is the official repository for Graphics 317. It contains the framework and description. Submission is via CATE.

C++ demo code for Sandy showing how to implement a tool which removes non-anonymised frames in iFind1 videos using OpenCV.

ANSI C data declaration module constructor: Datadec transforms a series of Haskell style recursive (or inductive) datatype declarations into a C module to implement them.

Skeleton files for the C++ Concurrent Sieve of Eratosthenes tutorial exercise

Analyzer for CMSSW HGC flat trees

Skeleton files for the C++ Concurrent Sieve of Eratosthenes tutorial exercise

Image statistics taken directly from the juicer dump files.

3D Perception and human-in-the-loop motion planning for obstacle avoidance in ENHANCE setup.