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
A LLVM Pass with runtime dataflow sanitization
Tool for differentially testing soundness and precision of program analyzers