Explore projects
-
Mirror of the git repository of Coq now hosted at https://github.com/coq/coq (synchronized every 15min)
Updated -
UpdatedUpdated
-
Using Randomized Smoothing and Differential Dynamic Programming to solve optimal control problems with non-smooth dynamics.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
-
Generate finite element matrices in python
Updated -
-
Hybrid High Performance Parallel Python Solver
Updated -
Updated
-
Updated
-
Updated