Explore projects
-
Updated
-
egide.latex / vim-for-humans-book
Creative Commons Attribution 4.0 InternationalThe vim for humans book http://vimebook.com
Updated -
Olivier LEMAIRE / vim_directory
GNU General Public License v2.0 or laterMy personnal vim directory
Updated -
Enquête oiseaux hivernants et nicheurs sur le secteur de Vilaine Aval de Rennes
Updated -
-
Inés Pastor Marazuela / Variabilitectron
GNU Affero General Public License v3.0Detecting variable sources into XMM-Newton observations.
Updated -
Updated
-
Sacha / vaccination-scheduler
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalThis system allows laboratories to schedule appointments for Covid-19 vaccinations. It is intended for the staff of laboratories and does not have a public-facing (patient) use.
Updated -
Updated
-
Journées de formation UPA pour les projets informatique en BCPST, octobre 2018.
Updated -
Updated
-
Recueil de solutions des exercices d'oraux Math Ulm, filière MP, posés en 2019.
Updated -
Les sources des tutoriels que je publie sur www.jmagnin.fr
Updated -
Updated
-
Updated
-
Updated
-
The goal of this project is to implement computation of GCD of multivariate polynomials in TRIP.
Updated -
Updated
-
-
TP d'introduction à la vérification de programmes en utilisant Verifast (https://github.com/verifast/verifast).
Updated