Explore projects

A python package of Safe learning for Unlabeled data.

This is a repo for the practice of the lecture "Digital System II". It mainly contains the general steps of running a Linux and adding a few functions to the system on a TI BeagleBone Black.

Minaduki's C-- Compiler

Open source implementation of a Verilog formatter

一个给pdf文件自动添加目录的项目

Convolutional Neural Networks

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

http://www.barrelfish.org/

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

Hagfish UEFI Bootloader for Barrelfish

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

A LLVM Pass with runtime dataflow sanitization

Tool for differentially testing soundness and precision of program analyzers