Explore projects
-
-
cambium / cosmo
BSD 3-Clause "New" or "Revised" LicenseConcurrent Separation Logic for Multicore OCaml
Updated -
COMPO / mdbook-bib
Mozilla Public License 2.0Updated -
-
PhD thesis LaTeX template for the 11 doctoral schools in Brittany and Pays de Loire. Project initiated by former PhD students at the MathSTIC doctoral school in collaboration with the doctoral school.
Updated -
-
Former repository for the DBL LaTeX thesis template. Moved to https://gitlab.com/ed-matisse/latex-template.
Archived 1Updated -
Project moved to https://gitlab.com/ed-matisse/latex-template.
Former repository for the PhD thesis LaTeX template for the 13 doctoral schools of Collège doctoral de Bretagne. Project initiated by former PhD students of the MATISSE doctoral school (formerly MathSTIC) in collaboration with the doctoral school.
Archived 3Updated -
Vers une étude scientifique expérimentale reproductible avec Guix
Updated -
Updated
-
Updated
-
Differential equations simulation representing Salmonella infection
Updated -
moex / Transmorpher
GNU General Public License v2.0 or laterTransmorpher is a software environment for defining and processing complex transformations of XML documents.
Updated -
Updated
-
obelix / triskele-doc
OtherUpdated -
-
Updated
-
Updated
-
An experimental study based on the test_FEMBEM solver
Updated