trhoangdung Goto Github PK

order-reduction-pass

This is matlab prototype for order-reduction abstraction of large linear ODEs

pi-robot-rc-android-bluetooth

Raspberry Pi Robot - Android Remote Control (Bluetooth)

pycreate2

library for iRobot Create 2

pyroomba

Python module and program to control a Roomba 530 and its Rootooth module

pytorch-tutorial

PyTorch Tutorial for Deep Learning Researchers

pytorch-tutorial-1

Build your neural network easy and fast

pytorch_gaussian_yolov3

PyTorch implementation of Gaussian YOLOv3 (including training code for COCO dataset)

quickzonoreach

Quick reachability using zonotopes.

rclc

ROS Client Library for the C language.

reachrelunn

Reachable set computation for ReLU neural network

reinforcement-learning-an-introduction-examples

Python Implementation of Reinforcement Learning: An Introduction

reinforcement_learning_an_introduction

Notes and exercise solutions for second edition of Sutton & Barto's book

reluplexcav2017

reluval

The released code of ReluVal in USENIX Security 2018

rnnverify

Tool for formal verification of Recurrent Neural Networks

ros1_tracetools

Tracing tools for ROS

semanticsegmentation

Semantic Segmentation with MATLAB

smoothing

Provable adversarial robustness at ImageNet scale

starl

StarL1.5 with 5 demo applications

trun_mvnt

truncated-mvn-sampler

Reimplementation using Python of the minimax tilting algorithm by Botev (2016) for simulation and iid sampling of the truncated multivariate normal distribution.

webgme-bip

webgme-xmi-javaapi

xmi-tools

Tools for serializing webgme models into xml and examples of plugins wrtting in other languges