sundw2014

DKS

Deeply-supervised Knowledge Synergy (CVPR'2019)

STLPlanning

Path planning from STL (Signal Temporal Logic) specifications

DCM

Knowledge Transfer via Dense Cross-layer Mutual-distillation (ECCV'2020)

C3M

Learning Certified Control Using Contraction Metric (CoRL 2020)

Quadrotor_LQR

LQR controller for quadrotors

NeuReach

reference_management

rmbp

HooVer

HooVer: a statistical model checking tool with optimistic optimization

Learning-Discrepancy

slam-based-calibration

warm_starting

airsim

C3M_dev

caffe_tensorboard

calibration_LlidarCamera

carla

Open-source simulator for autonomous driving research.

CSrankings

A web app for ranking computer science departments according to their research output in selective venues.

Gomoku-online

cpp final project

homework

wubba lubba dub dub

kornia

Open Source Differentiable Computer Vision Library for PyTorch

naive_IoT_scanner

OPIHAT_Driver

PlasmaSpeaker

pointnet

PointNet: Deep Learning on Point Sets for 3D Classification and Segmentation

pypoman

Python module for polyhedral geometry

pytorch

Tensors and Dynamic neural networks in Python with strong GPU acceleration

teachPress

Official repository of teachPress (course and publication management plugin for WordPress)

tensorflow

Computation using data flow graphs for scalable machine learning

ViconMAVLink

Provide indoor positioning for a fleet of MAVLink autonomous vehicles