Explore projects
-
Vers un solveur direct à base de tâches pour des systèmes linéaires FEM/BEM creux/denses
UpdatedUpdated -
Updated
-
Updated
-
-
Updated
-
Jens Gustedt / Modern C
MIT LicenseUpdated -
BENZEKRY Sebastien / metamats.burden.treatment
GNU General Public License v3.0 or laterUpdated -
coccinelle / CoccinelleForRust
GNU General Public License v2.0 or laterUpdated -
MONTAGU Benoit / coral
CeCILL-C Free Software License AgreementStatic analyzers for higher-order languages
Updated -
GALLEGO ARIAS Emilio Jesus / itauto
MIT LicenseItauto: an Extensible Intuitionistic SAT Solver
Updated -
dynres / applications / LibPFASST
Lawrence Berkeley National Labs BSD variant licenseLibPFASST fork with support for dynamic resources
Updated -
Website with:
the list of group meetings names of members resources for students (summer schools, conferences, scholarships)Updated -
Updated
-
Updated
-
-
Updated
-
Updated
-
ARRIVAULT Denis / latex-beamer
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Teaching material for an industrial audience
Updated