Explore projects
-
COYE Baptiste / SimSGamE
GNU General Public License v3.0 onlyUpdated -
Attempt to gather different parts of a cylindrical decomposition algorithm as Coq-verified algorithms
Updated -
Updated
-
An example experimental research study based on the test_FEMBEM solver test suite USING Guix and Org mode for reproducibility.
Updated -
-
-
almanach / Alexina / lefff
Lesser General Public License For Linguistic ResourcesUpdated -
Mirror of the bronstein-codes repository formerly hosted at https://gforge.inria.fr/projects/bronstein-codes/. Inria released Manuel Bronstein's software under the CeCILL 2 license in 2013 (announcement: https://doi.org/10.1145/2503697.2503701).
Updated -
-
Updated
-
Updated
-
-
almanach / OSCAR / oscar-website
Apache License 2.0The website of one humongous corpus. https://traces1.inria.fr/oscar/
Updated -
Updated
-
Updated
-
Updated
-