Explore projects

This course gives an introduction to digital design tool flow in Xilinx programmable devices using Vivado® Design software suite

a chatroom based on socket

A chatroom program based on Linux socket functions.

combine mtp with magus

Convolutional Neural Networks

Python wrapper to Philipp Krähenbühl's dense (fully connected) CRFs with gaussian edge potentials.

Hagfish UEFI Bootloader for Barrelfish

http://git.barrelfish.org/?p=Hagfish

http://www.barrelfish.org/

http://git.barrelfish.org/?p=barrelfish

A LLVM Pass with runtime dataflow sanitization

Tool for differentially testing soundness and precision of program analyzers