Explore projects

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.

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

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

Dan Liew's personal KLEE-CL repo.

UnID or Unified Identification is a smart way of storing and sharing just the data you need to use, through your phone, a special card or a web server. It should provide convenience and security through the use of blockchains.

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

MetamorphicCL, a compiler testing tool for OpenCL

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

Analyzer for CMSSW HGC flat trees