Explore projects

N

Design_Optimization / NoLOAD_Jax
Apache License 2.0

Non Linear Optimization using Automatic Differentiation with JAX package

optimization automatic di...

1

Updated Oct 14, 2024

1 0

Updated Oct 14, 2024
P

verimag_mosig / program_verif_WMM9MO73

Program testing and verification

1

Updated Dec 10, 2023

1 1 0 0

Updated Dec 10, 2023
R

inspe-sciedu / Rech Educ

1

Updated Oct 18, 2024

1 0

Updated Oct 18, 2024
A

kubernetes-alpes / Argocd Custom Image

1

Updated May 31, 2024

1 0 0 0

Updated May 31, 2024
S

verimag_mosig / Sat Smt Wmm9mo46

1

Updated Oct 24, 2022

1 0 0 0

Updated Oct 24, 2022
D

Denis Bouhineau / Ddb

Docker démo basic

1

Updated Dec 12, 2022

1 0 0 0

Updated Dec 12, 2022
S

projet / Sokoban

1

Updated Mar 27, 2023

1 0 0 0

Updated Mar 27, 2023
G

inspe-sciedu / Gene

1

Updated Nov 14, 2024

1 0

Updated Nov 14, 2024
A

Jocelyn Etienne / acam
GNU General Public License v3.0 or later

An implementation of an apposed-cortex model of an epithelial tissue.

1

Updated Nov 05, 2024

1 0 0 0

Updated Nov 05, 2024
P

inspe-sciedu / Peda Univ

1

Updated Sep 23, 2024

1 0

Updated Sep 23, 2024
D

Julien Chevallier / DiscreteHawkes.jl
MIT License

1

Updated Jul 04, 2024

1 0 0 0

Updated Jul 04, 2024
S

OSUG / RESIF / summmo

1

Updated Mar 29, 2023

1 0 0 0

Updated Mar 29, 2023
C

CertiCompil / CompCert-IntrinSec
GNU General Public License v2.0 or later

1

Updated Jan 22, 2022

1 0 0 0

Updated Jan 22, 2022
T

Phelma / BE 1A / Template Kicad BE 1A Phelma - S1

1

Updated Jan 08, 2023

1 0 0 0

Updated Jan 08, 2023
P

phitem / phitem-linux-vm

Créateur de VM Ubuntu pour les étudiants de PhITEM

1

Updated Oct 18, 2023

1 0 0 0

Updated Oct 18, 2023
S

meige-legi / scientific-computing-m2-efm
BSD 3-Clause "New" or "Revised" License

Course Introduction to scientific computing, Master 2 EFM. Website: https://meige-legi.gricad-pages.univ-grenoble-alpes.fr/scientific-computing-m2-efm

1

Updated Nov 18, 2024

1 2 0 17

Updated Nov 18, 2024
R

Projets-INFO4 / 22-23 / 26 / rustre
GNU General Public License v3.0 or later

Lustre compiler/runtime implemented in Rust

Compiler Lustre Verimag
+ 1 more

1

Updated Nov 29, 2023

1 0 0 18

Updated Nov 29, 2023
D

kubernetes-alpes / docker-pub

1

Updated Sep 17, 2024

1 0 0 0

Updated Sep 17, 2024
P

Olivier Richard / project-helpers

1

Updated Jan 17, 2022

1 0 0 0

Updated Jan 17, 2022
O

Sebastien Viardot / Outils Pédagogie à distance

1

Updated Oct 09, 2024

1 0 0 0

Updated Oct 09, 2024