Pinned Loading

1. RobotLocomotion/drake RobotLocomotion/drake Public

   Model-based design and verification for robotics.

   C++ 3.2k 1.3k

2. flexible-collision-library/fcl flexible-collision-library/fcl Public

   Flexible Collision Library

   C++ 1.4k 416

3. StanfordASL/neural-network-lyapunov StanfordASL/neural-network-lyapunov Public

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

   Python 137 29

4. large_inscribed_ellipsoid large_inscribed_ellipsoid Public

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

   Python 14

5. minimal_outer_ellipsoid minimal_outer_ellipsoid Public

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

   Python 8 1