Explore projects

Development version for WPS

Yalep is a micro language based on Lean for teaching mathematical high-school proofs

Windows Software - main files for package build - public repository

This repository contains all source files, published documents, and example programs for Siconos software.

XSHELLS is a high performance simulation code for the rotating Navier-Stokes equation in spherical shells, optionally coupled to the induction and temperature equation. https://nschaeff.bitbucket.io/xshells/

Virtual programming lab (version caseine).

This project is meant to make the veri-gitlabrun runner available to Verimag members.

To be able to use it, you just need to (1) subscribe to this project; (2) asks to one of the project owner to assign you the master status