Explore projects

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