Hongkai Dai
@hongkai-daiLanguage Breakdown
Lines of code distribution across 4 owned repositories
I-Shaped Developer
I-shapedSpecialist — deep expertise in HTML
Collaboration Network
Global Impact visualization
Repos
42
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Daniel Morton
@danielpmorton
Matéo H. Petel
@fraware
Liyiming Ke
@Kelym
Nicholas Pfaff
@nepfaff
Lars Lien Ankile
@ankile
Top Repositories
Verifying and synthesizing compatible Control Lyapunov Function (CLF) and Control Barrier Function (CBF)
Find a large inscribed ellipsoid by solving a sequence of semidefinite programming problems
Search the smallest ellipsoid that covers a basic semi-algebraic set and points through convex optimization
An educational resource to help anyone learn deep reinforcement learning.
Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.
Code samples for my book "Neural Networks and Deep Learning"
The course text for MIT 6.832 (and 6.832x on edX)
Goal: Enable awesome tooling for Bazel users of the C language family.
High-quality single file implementation of Deep Reinforcement Learning algorithms with research-friendly features (PPO, DQN, C51, DDPG, TD3, SAC, PPG)
Continuous integration scripts for Drake.
Open Source Impact
Contributions to external projects
