Explore projects
-
Updated
-
-
POTTIER Francois / inferno
MIT LicenseA library for constraint-based Hindley-Milner type inference.
Updated -
almanach / Alexina / lefff
Lesser General Public License For Linguistic ResourcesUpdated -
almanach / Alexina / perlex
Lesser General Public License For Linguistic ResourcesUpdated -
almanach / Alexina / soralex
Lesser General Public License For Linguistic ResourcesUpdated -
Updated
-
dynres / applications / DynPetsc
BSD 2-Clause "Simplified" LicenseUpdated -
erable / KisSplice
CeCILL Free Software License Agreement v2.0Updated -
-
Updated
-
Updated
-
Updated
-
SCHERER Gabriel / inferno
MIT LicenseA library for constraint-based Hindley-Milner type inference.
Updated -
Théophile BASTIAN / PhD defense slides
Creative Commons Attribution Share Alike 4.0 InternationalThis repository is a one-time import from https://git.tobast.fr/tobast/phd-defense; for archival purposes.
Updated -
BERNARD Samuel / odexp
Othernumerical solver for population-based systems with gnuplot graphical output
Updated -
A fork of MATISSE's thesis template
Updated -
Updated
-
Léo Cosseron / Bmc Cache
GNU Lesser General Public License v2.1 onlyUpdated -
Gabarits / LaTeX Inria fonts
BSD 3-Clause "New" or "Revised" LicensePaquet LaTeX pour l'utilisation des fontes InriaSans et InriaSerif dans les documents générés.
Updated