trhoangdung's repositories
order-reduction-pass
This is matlab prototype for order-reduction abstraction of large linear ODEs
appinventor-sources
MIT App Inventor Public Open Source
BreezyCreate2
Ultra-simple Python API for iRobot Create 2
create2
Node.js API for Roomba 600 Series & iRobot Create 2
Create2Control
A python library for controlling the iRobot Create2
DeepFool
A simple and accurate method to fool deep neural networks
diffai
A system for training neural networks to be provably robust
dreal
dReal: An SMT Solver for Nonlinear Theories of the Reals
hylaa
Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs
LazySets.jl
A Julia package for calculus with convex sets
meshpy
2D/3D simplicial mesh generator interface for Python (Triangle, TetGen, gmsh)
mic_webgme
mini project 1 - car configuration models
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
ReachReLUNN
Reachable set computation for ReLU neural network
ros1_tracetools
Tracing tools for ROS
xmi-tools
Tools for serializing webgme models into xml and examples of plugins wrtting in other languges