Explore projects

Dan Liew's personal KLEE-CL repo.

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.

MetamorphicCL, a compiler testing tool for OpenCL

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.

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

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

Analyzer for CMSSW HGC flat trees

C++ command-line implementation of the board game Reversi/Othello.

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.