Explore projects

View paparazzi-frama-c project

POLLIEN Baptiste / paparazzi-frama-c
GNU General Public License v2.0 or later

1

Updated Oct 27, 2023

1 0

Updated Oct 27, 2023
View RobotLegoLustreProject-2425 project

TASSON Christine / RobotLegoLustreProject-2425

0

Updated Feb 11, 2025

0 9 0 0

Updated Feb 11, 2025
View dotfiles project

STEVAN Antoine / dotfiles
GNU General Public License v3.0 or later

forked from https://github.com/amtoine/dotfiles

0

Updated May 22, 2025

0 0 0 0

Updated May 22, 2025
View Particule Interactions Simulation - Message Passing Interface - Parallel Computing project

BATAILLIE Paul / Particule Interactions Simulation - Message Passing Interface - Parallel Computing

0

Updated Mar 27, 2025

0 0 0 0

Updated Mar 27, 2025
View 2D Stationary Heat Conduction Solver - OpenMP - Parallel Computing project

BATAILLIE Paul / 2D Stationary Heat Conduction Solver - OpenMP - Parallel Computing

0

Updated Mar 27, 2025

0 0 0 0

Updated Mar 27, 2025
View rocket_nmpc project

BEN-BELKACEM Yacine / rocket_nmpc

Acado Toolkit solvers testing

0

Updated Nov 30, 2022

0 0 0 0

Updated Nov 30, 2022
View cnn-multiphysics-repro project

daep / cnn-multiphysics-repro
GNU General Public License v3.0 or later

Reproducibility study of a multiscale CNN used for modelling PDE's

0

Updated Sep 26, 2021

0 1 1 0

Updated Sep 26, 2021
View PAPI ZEDBOARD project

LAVAUR Thomas / PAPI ZEDBOARD
BSD 3-Clause "New" or "Revised" License

0

Updated Jun 10, 2021

0 0 0 0

Updated Jun 10, 2021
View RobotLegoLustreProject-2425 project

BUSUNUR-MALLIKARJUNA Apoorva / RobotLegoLustreProject-2425

0

Updated Mar 30, 2025

0 0 0 0

Updated Mar 30, 2025
View ANANDA_Sanjay_planning_farmbot project

alice / nanostar / farmbot-group / ANANDA_Sanjay_planning_farmbot

0

Updated Oct 03, 2023

0 0 0 0

Updated Oct 03, 2023
View MBSE CubeSat SysML project

Preliminary Design / MBSE CubeSat SysML
GNU Affero General Public License v3.0

0

Updated Apr 23, 2024

0 0 0 0

Updated Apr 23, 2024
View 1MAE603_Sim4Sys project

CAMINO-TREVINO Javier / 1MAE603_Sim4Sys

0

Updated Apr 27, 2022

0 0 0 0

Updated Apr 27, 2022
View Image Filtering - Message Passing Interface - Pthreads - Parallel Computing project

BATAILLIE Paul / Image Filtering - Message Passing Interface - Pthreads - Parallel Computing

0

Updated Mar 27, 2025

0 0 0 0

Updated Mar 27, 2025
View Frama-C project

LustreC / Frama-C
Other

Our fork of Frama-C.

0

Updated Apr 12, 2022

0 0 0 0

Updated Apr 12, 2022
View rocket_nmpc_forces project

BEN-BELKACEM Yacine / rocket_nmpc_forces

0

Updated Nov 29, 2022

0 0 0 0

Updated Nov 29, 2022
View Lustrec - public version project

LustreC / Lustrec - public version
Other

0

Updated Mar 06, 2025

0 0 0 0

Updated Mar 06, 2025
View VFPG project

POLLIEN Baptiste / VFPG
GNU General Public License v2.0 or later

0

Updated Aug 03, 2023

0 0 0 0

Updated Aug 03, 2023
View find-git-repos project

STEVAN Antoine / find-git-repos

0

Updated May 07, 2025

0 0 0 0

Updated May 07, 2025