Explore projects
-
-
Updated
-
Diaporama pour la rencontre sur les logiciels libres de recherche
UpdatedUpdated -
Updated
-
A reduced version (from a model and implementation point of view) of Aevol. DO NOT USE IT TO SIMULATE BIOLOGICAL RESULTS ! See http://www.aevol.fr for that ! It must be used only to test HPC optimization of the code
Updated -
Updated
-
LaTeX-utils / LaTeX-Make
Affero General Public License v1.0Updated -
Updated
-
Codes used for numerical simulations of the equatorial modons in the thermal rotating shallow water model.
Updated -
Maxime Dénès / coq
GNU Lesser General Public License v2.1 onlyMirror of the git repository of Coq now hosted at https://github.com/coq/coq (synchronized every 15min)
Updated -
-
GONZALEZ Amélie / CoccinelleForRust
GNU General Public License v2.0 or laterUpdated -
-
Updated
-
-
UpdatedUpdated
-
Updated
-