Giters
Hongkai Dai (hongkai-dai)

hongkai-dai

Geek Repo

268

followers

53

following

37

stars

Company:Toyota Research Institute

Location:Los Altos, California, US

Home Page:https://hongkai-dai.github.io

Github PK Tool:Github PK Tool

Hongkai Dai's repositories

large_inscribed_ellipsoid

Find a large inscribed ellipsoid by solving a sequence of semidefinite programming problems

Language:PythonStargazers:14Issues:3Issues:1

compatible_clf_cbf

Verifying and synthesizing compatible Control Lyapunov Function (CLF) and Control Barrier Function (CBF)

Language:PythonLicense:MITStargazers:12Issues:1Issues:0

minimal_outer_ellipsoid

Search the smallest ellipsoid that covers a basic semi-algebraic set through convex optimization

Language:PythonLicense:MITStargazers:8Issues:1Issues:0

neural-network-lyapunov-1

Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.

Language:PythonLicense:MITStargazers:2Issues:1Issues:2

neural-networks-and-deep-learning

Code samples for my book "Neural Networks and Deep Learning"

Language:PythonStargazers:1Issues:2Issues:0

PlasticineLab

Code for paper "PlasticineLab: A Soft-Body Manipulation Benchmark with Differentiable Physics"

Language:PythonStargazers:1Issues:0Issues:0

underactuated

The course text for MIT 6.832 (and 6.832x on edX)

Language:HTMLStargazers:1Issues:2Issues:0

ABB-IRB140

Drake utils for ABB-IRB140 Arm Robot

Language:PythonLicense:MITStargazers:0Issues:3Issues:0

Csdp

This is now the working repository for the CSDP project. CSDP is a solver for semidefinite programming problems. It is a COIN-OR project.

Language:CLicense:EPL-2.0Stargazers:0Issues:1Issues:0

drake

A planning, control, and analysis toolbox for nonlinear dynamical systems. Please see the WIKI for documentation.

Language:C++License:NOASSERTIONStargazers:0Issues:6Issues:1

drake-ci

Continuous integration scripts for Drake.

Language:CMakeLicense:NOASSERTIONStargazers:0Issues:0Issues:0

eigen-mirror

Language:C++License:NOASSERTIONStargazers:0Issues:2Issues:0

fcl

Flexible Collision Library

Language:C++License:NOASSERTIONStargazers:0Issues:2Issues:0

gurobi

wrapper pod for the Gurobi Optimizer

Language:CMakeStargazers:0Issues:2Issues:0

hongkai-dai.github.io

Language:HTMLStargazers:0Issues:2Issues:0

k4a_driver

Basic ROS driver for K4A devices

Language:C++License:BSD-3-ClauseStargazers:0Issues:1Issues:0

libccd

Library for collision detection between two convex shapes

Language:CLicense:NOASSERTIONStargazers:0Issues:2Issues:0

ManiSkill2

SAPIEN Manipulation Skill Benchmark 2

Language:PythonLicense:Apache-2.0Stargazers:0Issues:1Issues:0

open-abb-driver

Language:C++Stargazers:0Issues:3Issues:0

osqp

The Operator Splitting QP Solver

Language:CLicense:Apache-2.0Stargazers:0Issues:2Issues:0

rand_obj_picking

Language:C++Stargazers:0Issues:2Issues:0

shortest-paths-in-graphs-of-convex-sets

Language:Jupyter NotebookStargazers:0Issues:1Issues:0

spotless

A fork of the Systems Polynomial Optimization Toolbox.

Language:MatlabStargazers:0Issues:0Issues:0