Explore projects
-
BERTOT Yves / ProgrammezCoq
Creative Commons Attribution 4.0 InternationalUne description de la programmation en Coq pour un magazine grand public.
Updated -
-
-
Updated
-
MARION Jean-Yves / BINSEC
GNU Lesser General Public License v2.1 onlyUpdated -
Crash data analysis with hidden Markov random fields with Bayesian Nonparametric priors.
Updated -
-
Spirals / breaking-bad
Apache License 2.0Updated -
CERISARA Christophe / olkisite
GNU Affero General Public License v3.0Updated -
An example experimental research study based on the test_FEMBEM solver test suite using Guix and Org mode for reproducibility.
Updated -
Updated
-
Thaïs Baudon / Derp TikZ
LaTeX Project Public License v1.3cUpdated -
CBLAS with BLAS source, entirely written en C
Updated -
-
Collection of lessons and learning exercises for the polyhedral model, and organized into knowledge fragments.
Updated