Explore projects
-
DIAZ Jerome / GettingStartedWithModernCpp
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalA tutorial to provide a solid basis to start writing proper C++ code with the latest versions of the standard.
Updated -
Updated
-
cambium / cosmo
BSD 3-Clause "New" or "Revised" LicenseConcurrent Separation Logic for Multicore OCaml
Updated -
Updated
-
UpdatedUpdated
-
Updated
-
ARRIVAULT Denis / latex-beamer
BSD 3-Clause "New" or "Revised" LicenseUpdated -
-
-
-
-
MOSAIC / bvpy
OtherBvpy is a python library, based on FEniCS, Gmsh & Meshio, to easily implement and study numerically Boundary Value Problems and Initial Boundary Value Problems through the Finite Element Method.
Updated -
Thierry Martinez / latex-beamer
BSD 3-Clause "New" or "Revised" LicenseUpdated -
-
COMPO / mdbook-bib
Mozilla Public License 2.0Updated -
Minimal working example of an experimental study written in Org mode
Updated -
GALLEGO ARIAS Emilio Jesus / itauto
MIT LicenseItauto: an Extensible Intuitionistic SAT Solver
Updated -
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