Explore projects
-
Updated
-
CertiCompil / CompCert-IntrinSec
GNU General Public License v2.0 or laterUpdated -
-
meige-legi / scientific-computing-m2-efm
BSD 3-Clause "New" or "Revised" LicenseCourse Introduction to scientific computing, Master 2 EFM. Website: https://meige-legi.gricad-pages.univ-grenoble-alpes.fr/scientific-computing-m2-efm
Updated -
Projets-INFO4 / 22-23 / 26 / rustre
GNU General Public License v3.0 or laterLustre compiler/runtime implemented in Rust
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
teaching / ml_sgb_2024
MIT LicenseUpdated -
Updated
-
Jean-Luc Parouty / barviz-mod
MIT LicenseA simple python module to visualize barycentric data.
Updated -
Updated
-
Updated
-
-
Updated