Discover projects, groups and snippets. Share your projects with others
Mirror of the git repository of Coq now hosted at https://github.com/coq/coq (synchronized every 15min)
Using Randomized Smoothing and Differential Dynamic Programming to solve optimal control problems with non-smooth dynamics.
Template package for axel
The main application
Generate finite element matrices in python
TAsk-BAsed KrylOV (tabakov) solver
Hybrid High Performance Parallel Python Solver